Sokoban Solver Statistics

Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?			Floors	Boxes	Lower Bound	BP
	Sokoban Solver Statistics - Festival 2.4 - Sven Egevad Date: 2023-06-05
Solved levels	937568	183001	43778	1825 of 1911	1474	9	22		Total	130409	30735	94054	138064

Filter

Solved levels	937568	183001	43778	1825 of 1911	1474	9	22		Total	130409	30735	94054	138064

Sokoban Solver Statistics - Festival 2.4 10 minutes - Sven Egevad
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1	1357	112	1	✓				19	16	167	36	84	84
2	2095	890	2	✓				19	16	187	41	738	738
3	652	139	2	✓				19	16	148	12	69	101
4	951	148	1	✓				19	16	152	24	70	88
5	794	125	6	✓	✓			19	16	149	15	89	89
6	1525	496	13	✓				19	16	168	29	432	432
7	1623	544	5	✓				19	16	175	31	210	246
8	1104	269		✓	✓			19	16	144	8	215	261
9	538	67	1	✓	✓			19	16	160	8	37	39
10	1476	452		✓				19	16	155	17	322	354
11				✕				19	16	191	60	466	490
12	838	148	3	✓	✓			19	16	136	16	48	130
13	1898	513	4	✓	✓			19	16	168	14	381	385
14	2056	592		✓	✓			19	15	140	14	566	576
15	8269	1604	3	✓				19	16	180	36	1422	1444
16				✕			✓	19	16	182	40	215	229
17	2382	591	73	✓				19	16	155	29	363	369
18	1563	538	2	✓				19	16	174	39	462	464
19	2094	650	1	✓				19	16	146	30	538	624
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
20	2002	126		✓	✓			19	16	151	8	124	126
21	2105	555	3	✓				19	16	182	48	243	249
22	869	208		✓	✓			19	16	148	14	170	170
23	4935	1707	31	✓				19	16	200	42	1489	1565
24				✕				19	16	197	57	51	373
25	399	87		✓	✓			19	16	129	17	83	87
26	578	124	1	✓	✓			13	13	89	32	8	18
27	337	72		✓	✓			10	10	59	16	24	24
28	280	58		✓	✓			11	8	50	14	18	22
29	356	63	1	✓	✓			11	14	94	15	19	33
30				✕				18	16	136	26	399	643
31	2536	703		✓	✓			19	16	135	16	683	687
32	258	20	1	✓	✓			15	15	107	8	10	16
33	704	91		✓	✓			15	15	107	6	87	91
34	1544	466	107	✓				19	16	179	36	272	304
35	190	23		✓	✓			13	12	62	6	17	19
36	282	54	1	✓	✓			12	12	53	13	30	30
37	996	212		✓				19	16	128	8	188	190
38	312	52		✓	✓			17	16	94	16	22	36
39	1110	157	1	✓				19	16	147	12	121	133
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
40	834	54		✓	✓			19	16	146	8	54	54
41	120	15	1	✓	✓			11	9	51	12	1	15
42	5078	435	407	✓				19	16	238	90	1	71
43	879	246	1	✓				19	16	190	20	92	112
44	59	12	1	✓	✓			9	9	26	4	4	10
45	1571	442		✓	✓			19	16	126	8	438	440
46	1036	202	1	✓				19	16	182	41	158	164
47	3277	496		✓	✓			19	17	150	17	494	494
48	468	124	3	✓	✓			11	11	81	30	66	66
49	981	329	1	✓				19	16	213	34	143	165
50	468	103	2	✓	✓			11	12	65	21	1	15
51	69	7		✓	✓			13	11	53	4	1	7
52	380	106	1	✓	✓			12	12	64	16	24	48
53	214	58		✓	✓			12	9	60	14	24	28
54	198	40		✓	✓			12	9	54	14	20	24
55	822	268	72	✓	✓			14	14	104	28	56	72
56	102	28		✓	✓			13	13	88	31	4	12
57	134	30	1	✓	✓			13	13	89	31	4	10
58	148	36		✓	✓			13	13	89	31	4	12
59	584	110	1	✓	✓			13	13	87	29	16	24
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
60	272	56		✓	✓			11	13	82	29	6	14
61	424	84		✓	✓			11	13	80	27	14	30
62	408	74	1	✓	✓			11	13	80	27	4	30
63	318	60		✓	✓			11	13	80	27	8	32
64	434	76	1	✓	✓			12	12	78	25	14	16
65	378	70		✓	✓			12	12	78	25	10	16
66	156	36	1	✓	✓			9	9	44	16	32	32
67	182	38		✓	✓			9	9	43	16	24	24
68	175	48		✓	✓			9	9	42	15	22	22
69	175	40		✓	✓			9	9	43	16	22	24
70	176	36	1	✓	✓			9	9	42	15	30	30
71	107	30		✓	✓			8	8	30	8	16	20
72	113	32		✓	✓			8	8	30	8	16	20
73	269	46		✓	✓			11	11	53	8	8	16
74	453	76	1	✓	✓			13	13	84	16	32	36
75	301	52		✓	✓			11	11	53	8	4	10
76	43	7		✓	✓			7	7	18	2	3	7
77	39	9	1	✓	✓			6	9	20	2	5	9
78	49	15		✓	✓			7	9	18	2	1	15
79	107	22		✓	✓			11	11	46	4	4	16
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
80	272	70		✓	✓			15	15	83	8	40	44
81	421	60	1	✓	✓			17	7	61	13	24	24
82	1523	386	1	✓				17	13	100	20	40	54
83	325	48	1	✓	✓			10	10	50	8	20	22
84	291	44	1	✓	✓			11	11	64	12	20	22
85	329	72		✓	✓			11	11	65	12	20	22
86	437	32	1	✓	✓			17	17	64	8	16	16
87	123	18		✓	✓			13	9	38	6	12	12
88	226	36		✓	✓			13	9	48	8	14	16
89	152	18	1	✓	✓			13	9	48	8	12	12
90	286	64		✓	✓			13	11	56	10	12	16
91	352	68		✓	✓			13	11	56	10	14	18
92	207	38	1	✓	✓			13	13	48	8	16	16
93	253	63		✓	✓			14	9	84	25	35	35
94	309	73		✓	✓			14	9	84	25	35	35
95	271	69	1	✓	✓			14	9	84	25	35	35
96	195	46		✓	✓			17	9	75	25	24	30
97	225	48	2	✓				17	9	75	25	24	26
98	197	50	6	✓	✓			17	9	75	25	24	28
99	260	52	4	✓	✓			17	9	75	25	24	32
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
100	163	35	1	✓	✓			11	8	36	6	25	35
101	441	93	1	✓	✓			11	10	52	9	57	89
102	492	87	1	✓	✓			19	10	78	13	49	87
103	646	123	3	✓				19	11	78	16	69	81
104	1319	337	8	✓				17	13	88	25	79	79
105	789	169	7	✓				17	13	88	25	79	83
106	1055	190		✓				19	16	114	13	144	164
107	865	173	280	✓	✓			17	12	108	33	17	21
108	1104	171	401	✓	✓			17	12	108	33	17	23
109	663	141	103	✓	✓			16	12	107	32	13	17
110	739	165	86	✓	✓			16	12	107	32	13	15
111	931	194	268	✓				17	12	108	33	16	28
112	1219	242	2	✓				17	12	108	33	16	28
113	565	135	1	✓	✓			12	13	67	12	111	119
114	972	140		✓	✓			13	14	81	12	112	114
115	1719	305	150	✓				13	12	101	33	5	35
116	748	135	114	✓				13	12	101	33	5	27
117	544	88	2	✓				12	12	100	34	12	30
118	436	70		✓				12	12	100	34	12	28
119	114	18	1	✓	✓			17	11	103	24	6	10
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
120	131	25		✓	✓			16	11	98	25	5	13
121	154	14		✓	✓			17	11	102	23	8	12
122	339	61	1	✓	✓			16	11	94	21	5	15
123	108	20		✓	✓			17	11	98	19	10	14
124	385	65		✓	✓			16	11	92	19	5	15
125	186	22	1	✓	✓			17	11	92	13	12	16
126	837	222	181	✓				16	15	139	59	54	62
127	264	36	1	✓	✓			17	11	90	11	12	18
128	131	31		✓	✓			16	11	90	17	5	17
129	166	30		✓	✓			15	11	80	11	10	16
130	376	58	1	✓	✓			13	11	74	11	10	18
131	167	36		✓	✓			8	11	40	7	22	30
132	421	58		✓	✓			12	10	66	15	16	24
133	340	72	1	✓	✓			12	10	60	15	16	28
134	170	26	1	✓	✓			9	9	47	15	8	18
135	116	18	1	✓	✓			9	9	47	15	8	14
136	80	18		✓	✓			11	8	35	5	8	18
137	240	36		✓	✓			10	10	59	19	10	20
138	392	44	2	✓	✓			10	10	59	19	10	24
139	466	90		✓				11	11	76	24	12	26
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
140	420	80	1	✓				11	11	76	25	12	26
141	1219	263	1	✓				19	14	130	25	205	217
142	660	102	62	✓				11	13	85	28	12	36
143	916	168	57	✓				11	11	81	28	8	32
144	5505	1135	406	✓				19	16	170	31	1065	1067
145	700	260		✓	✓			19	13	122	14	252	258
146	1424	261	596	✓				16	12	94	17	103	169
147	708	114	2	✓	✓			11	11	74	23	12	26
148	330	68		✓	✓			11	11	74	23	12	28
149	240	42	1	✓	✓			11	11	72	23	12	16
150	254	40		✓	✓			11	11	72	23	12	20
151	294	42	8	✓	✓			11	11	72	23	12	32
152	668	213		✓				13	13	80	10	133	209
153	576	84	15	✓	✓			11	11	71	23	12	42
154	682	108	12	✓	✓			11	11	71	23	12	42
155	886	122	24	✓	✓			12	12	83	27	14	48
156	2180	274	462	✓				13	13	95	31	16	72
157	66	10		✓	✓			8	8	35	11	6	10
158				✕				14	14	107	35	18	82
159	828	144	76	✓	✓			12	12	99	38	20	24
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
160	636	88	3	✓				13	13	119	46	24	32
161	794	140	10	✓				14	14	139	54	28	36
162	554	98	1	✓	✓			11	11	62	21	12	20
163	450	82	2	✓	✓			12	12	74	25	14	18
164	703	124	104	✓				17	17	125	43	24	30
165	668	84	1	✓				16	13	113	39	16	22
166	2014	150	401	✓				15	15	155	54	28	48
167	1960	220	401	✓				15	15	155	54	28	48
168	716	160	24	✓	✓			16	13	95	14	106	136
169	379	65	72	✓				19	10	120	37	9	43
170				✕				19	13	163	46	23	69
171	2061	223	426	✓				19	13	163	47	41	85
172	1761	244	401	✓				19	13	163	49	58	102
173	2003	263	413	✓				19	13	163	50	39	105
174	117	26		✓	✓			8	9	32	9	18	26
175	747	112	1	✓	✓			17	9	84	20	36	40
176	983	116	2	✓				17	11	107	27	48	48
177	2871	1166	1	✓				19	16	175	45	1044	1074
178	3571	1470	2	✓				19	16	163	39	1384	1426
179	24	4	1	✓	✓			9	9	49	13	4	4
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
180	57	8		✓	✓			9	9	49	13	4	6
181	281	50		✓	✓			11	11	81	25	12	14
182	299	54		✓	✓			11	11	81	25	12	24
183	953	170	3	✓				13	15	119	41	26	38
184	218	51	7	✓	✓			13	11	66	21	37	41
185	170	57		✓	✓			9	10	38	9	35	43
186	179	57	1	✓	✓			9	10	36	9	29	37
187	1446	268	7	✓				13	13	109	32	36	70
188	1143	210	80	✓				13	15	119	43	32	38
189	870	152	4	✓				13	13	109	32	44	54
190	40	8		✓	✓			7	7	21	5	4	8
191	92	20	1	✓	✓			9	9	45	13	12	14
192	418	62	2	✓	✓			11	11	77	25	24	24
193	178	33		✓	✓			15	9	53	9	21	31
194	248	42		✓	✓			19	9	70	12	28	38
195	172	60	1	✓	✓			9	12	42	9	40	48
196				✕				19	16	198	61	51	387
197				✕				19	16	198	62	52	396
198				✕				19	16	198	63	54	468
199	1550	186	502	✓				17	15	190	71	14	68
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
200	466	75	101	✓	✓			19	10	99	20	59	61
201	810	209	52	✓				13	13	78	25	93	99
202	1535	361	16	✓				17	17	139	27	223	247
203	472	82	23	✓	✓			13	9	74	26	12	28
204	604	88	3	✓				13	13	116	43	16	26
205				✕				19	16	191	61	51	367
206				✕				19	16	199	64	53	457
207				✕				19	16	197	62	59	449
208				✕				19	16	190	61	51	347
209				✕		✓ Festival 3.1		19	16	186	59	49	167
210	127	41		✓	✓			11	16	68	21	15	19
211	826	124	10	✓				13	13	101	37	14	34
212	412	60	1	✓	✓			11	11	80	30	12	20
213	906	106	6	✓				14	14	143	55	18	28
214	458	80	22	✓				17	9	101	37	16	38
215	1520	194	511	✓				13	13	116	44	16	40
216				✕				17	15	173	65	1	64
217				✕				17	13	137	49	20	68
218				✕				17	15	173	65	1	66
219				✕				17	13	137	49	20	64
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
220	1468	220	64	✓				13	17	128	48	16	40
221	2522	246	549	✓				17	17	212	84	1	62
222				✕				17	17	185	73	1	50
223				✕				17	17	170	66	1	50
224				✕				17	17	215	87	1	68
225	2348	242	221	✓				17	17	203	75	1	62
226				✕				19	16	197	62	57	427
227				✕				19	16	198	63	54	448
228				✕				19	16	201	66	2	326
229	430	110	7	✓				17	12	102	12	60	90
230	726	214	1	✓	✓			19	13	98	22	170	188
231				✕		✓ Festival 3.1		19	16	199	64	53	265
232	1360	206	68	✓				15	15	164	65	1	42
233				✕				15	15	164	66	1	46
234	1758	635	4	✓				18	18	167	36	535	537
235	1301	421	21	✓				18	17	123	37	225	271
236	560	85		✓	✓			14	12	76	9	43	65
237	698	106	1	✓	✓			17	15	105	13	38	74
238	742	125		✓				18	13	111	12	103	115
239	853	257	1	✓				12	16	109	23	135	163
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
240	1341	401	4	✓				19	15	124	25	287	321
241	625	156	1	✓				13	12	88	17	100	106
242	531	132		✓				13	12	88	17	100	108
243	862	123	14	✓	✓			19	7	73	17	57	93
244	708	138	44	✓	✓			19	7	72	17	52	98
245	253	64	1	✓	✓			13	9	69	21	6	18
246	364	58		✓	✓			11	11	71	21	2	16
247	254	30	1	✓	✓			11	11	71	21	2	18
248	67	16		✓	✓			11	11	70	21	4	16
249	797	96	35	✓				13	13	104	32	24	40
250	994	122	135	✓				13	13	105	34	14	36
251	180	48		✓	✓			9	10	49	13	2	6
252	67	14	1	✓	✓			9	9	27	4	4	10
253	57	14		✓	✓			8	8	21	4	4	12
254	51	12		✓	✓			8	8	21	4	4	12
255	47	12		✓	✓			8	8	21	4	4	12
256	175	28	1	✓	✓			11	10	44	6	18	24
257	434	74		✓	✓			15	12	66	8	70	70
258	226	22	1	✓	✓			13	11	68	8	10	16
259	485	144	2	✓				11	11	81	24	40	48
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
260	207	48	1	✓	✓			11	7	45	14	16	24
261	577	133	1	✓	✓			11	9	53	15	19	23
262	37	14		✓	✓			8	8	21	4	4	10
263	49	14		✓	✓			8	8	21	4	4	8
264	37	12		✓	✓			8	8	21	4	4	12
265	45	12		✓	✓			8	8	21	4	4	12
266	35	10	1	✓	✓			8	8	21	4	4	10
267	670	201	1	✓				14	12	82	16	177	179
268	456	82	106	✓				15	15	116	30	42	74
269	77	23	1	✓	✓			12	10	38	8	15	23
270				✕				19	11	112	49	56	70
271	3443	819	407	✓				19	16	192	63	421	429
272	1526	474		✓	✓			19	16	155	19	356	422
273	2455	424	3	✓				19	16	163	28	300	330
274				✕				19	16	164	29	299	329
275	261	40		✓	✓			13	10	58	14	14	16
276	275	40		✓	✓			11	10	54	14	14	14
277	331	58		✓	✓			13	10	64	14	16	20
278	3655	1372	29	✓				19	16	201	57	1232	1254
279	8191	1557	548	✓				19	16	183	41	1385	1423
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
280	2025	372	520	✓				16	16	156	56	92	104
281	532	122		✓	✓			13	13	79	13	46	96
282	200	34	2	✓	✓			11	13	72	14	20	32
283	833	164	404	✓				15	15	109	29	54	68
284	354	83	1	✓	✓			11	13	66	13	59	61
285	542	119	12	✓				11	11	64	13	63	83
286	575	125	2	✓	✓			11	9	54	15	21	25
287	405	54	104	✓				13	13	80	20	26	30
288	710	104	1	✓	✓			15	15	101	8	18	34
289	1128	252		✓	✓			11	15	87	13	222	222
290	395	121	1	✓	✓			19	14	94	18	63	73
291				✕				19	16	183	49	499	555
292	2197	558	49	✓				18	15	138	27	446	462
293	998	160	589	✓				16	16	157	51	26	74
294	73	23	2	✓	✓			9	9	46	13	3	13
295	4591	1207	167	✓				19	16	188	29	679	683
296	175	44		✓	✓			13	9	72	23	6	24
297	655	136	3	✓				13	13	114	41	14	36
298	48	8		✓	✓			7	7	23	6	4	8
299	622	94	2	✓				13	13	115	41	20	42
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
300	775	178	20	✓				13	13	115	41	12	40
301				✕		✓ Festival 3.1		19	16	188	35	739	753
302	96	13		✓	✓			13	6	42	13	9	13
303	179	18		✓	✓			15	6	50	16	10	14
304	480	58	3	✓	✓			14	11	95	32	20	28
305	274	50	2	✓	✓			12	11	81	28	12	22
306	105	17		✓	✓			12	11	83	30	5	11
307	468	45	1	✓	✓			12	11	82	29	9	15
308	522	68	1	✓	✓			11	11	78	27	8	18
309	160	31	1	✓	✓			11	11	79	28	13	21
310	237	51		✓	✓			11	11	79	28	7	15
311	318	38	1	✓	✓			14	11	88	31	8	16
312	875	128		✓	✓			17	11	96	34	18	28
313	613	66	5	✓				17	11	94	32	16	32
314	114	24	1	✓	✓			8	9	29	3	14	16
315	60	17		✓	✓			7	9	26	3	15	17
316	140	39		✓	✓			7	9	27	4	15	19
317	104	24		✓	✓			10	9	31	5	18	24
318	199	58	1	✓	✓			10	10	41	7	32	42
319	308	93		✓	✓			10	11	50	9	51	65
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
320	391	109		✓	✓			10	12	59	11	75	93
321	262	42		✓	✓			13	11	63	5	10	12
322	98	21	1	✓	✓			11	9	46	5	5	13
323	128	21		✓	✓			11	9	44	5	3	11
324	443	68		✓	✓			9	12	58	16	6	14
325	376	64	1	✓	✓			9	12	56	16	8	18
326	482	62	16	✓	✓			13	13	80	24	12	24
327	532	80	43	✓	✓			13	13	80	24	12	30
328	486	90	1	✓	✓			13	13	72	24	16	24
329	276	82		✓	✓			12	9	48	12	68	72
330	134	18	1	✓	✓			9	9	47	15	4	16
331	355	55	1	✓	✓			10	9	53	17	5	25
332	561	70	1	✓	✓			11	9	59	19	4	20
333	329	52		✓	✓			11	11	76	24	32	32
334	330	42	1	✓	✓			11	11	72	24	32	32
335	37	15	1	✓	✓			13	8	55	17	5	11
336	50	15		✓	✓			13	8	55	18	5	11
337	232	47		✓	✓			13	8	54	17	5	19
338	155	19	1	✓	✓			11	10	61	18	5	15
339	352	46	1	✓	✓			11	10	61	18	4	14
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
340	655	48	64	✓				17	13	136	48	16	30
341				✕				17	13	136	48	15	45
342	510	84		✓				17	9	91	25	8	24
343	1800	222	418	✓				17	17	183	51	24	44
344	226	50	1	✓	✓			15	8	65	17	6	14
345	787	100	22	✓				15	15	131	35	22	32
346	97	16		✓	✓			13	7	43	9	6	10
347	425	66	1	✓	✓			13	13	87	19	18	30
348	176	36		✓	✓			9	9	42	10	24	28
349	146	28		✓	✓			9	9	41	9	24	26
350	80	14	1	✓	✓			9	7	28	5	10	14
351	64	14		✓	✓			9	7	28	5	6	14
352	161	40		✓	✓			9	15	53	8	14	30
353	382	57	1	✓	✓			9	12	47	7	13	23
354	227	36		✓	✓			9	13	54	8	16	24
355	54	14		✓	✓			7	9	24	4	6	12
356	128	27	1	✓	✓			9	8	41	12	7	17
357	257	36	1	✓	✓			9	9	45	15	8	26
358	137	30		✓	✓			9	8	38	8	12	20
359	186	33	1	✓	✓			9	8	40	11	7	19
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
360	51	20		✓	✓			9	9	49	18	12	20
361	83	22		✓	✓			9	9	49	18	14	20
362	68	19	1	✓	✓			9	9	45	14	7	19
363	259	43		✓	✓			9	9	46	14	9	35
364	75	17	1	✓	✓			9	9	43	12	7	17
365	189	44	1	✓	✓			11	11	46	7	28	36
366	129	50		✓	✓			11	11	53	7	30	42
367	193	62		✓	✓			11	11	53	7	32	42
368	249	66		✓	✓			11	11	53	7	26	42
369	221	44	1	✓	✓			9	9	36	5	14	28
370	177	36		✓	✓			9	9	34	5	14	28
371	159	33		✓	✓			9	9	31	5	15	27
372	147	29		✓	✓			9	9	31	5	17	27
373	119	28	1	✓	✓			9	8	31	5	16	20
374	211	41		✓	✓			11	10	49	5	19	35
375	203	39		✓	✓			11	10	49	5	19	35
376	161	38		✓	✓			11	10	49	5	12	32
377	184	46	1	✓	✓			11	11	52	5	20	32
378	203	43		✓	✓			11	10	49	5	23	31
379	101	27		✓	✓			9	10	35	5	17	27
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
380	171	31		✓	✓			9	10	37	5	21	27
381	194	34		✓	✓			9	10	40	5	18	26
382	84	30	1	✓	✓			9	10	40	5	22	26
383	87	32		✓	✓			9	10	39	5	16	28
384	109	34		✓	✓			9	10	39	7	22	34
385	83	20		✓	✓			9	9	35	8	18	20
386	224	26	1	✓	✓			10	11	46	10	20	24
387	167	27	1	✓	✓			10	11	47	10	17	27
388	474	70		✓	✓			9	9	45	12	8	34
389	292	51		✓	✓			9	9	45	12	9	33
390	254	36	2	✓	✓			9	9	45	12	10	32
391	262	38	1	✓	✓			9	9	45	12	12	32
392	326	41		✓	✓			9	9	45	12	11	25
393	318	41	1	✓	✓			9	9	45	12	11	25
394	138	24	1	✓	✓			9	9	45	12	8	18
395	259	39	1	✓	✓			9	9	45	12	11	21
396	375	39		✓	✓			9	9	45	12	9	23
397	123	28	1	✓	✓			13	11	54	17	12	26
398	190	49		✓	✓			13	11	53	16	23	41
399	176	38	3	✓	✓			13	11	54	17	14	34
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
400	175	40	3	✓	✓			13	11	54	17	12	34
401	135	36	1	✓	✓			8	8	29	8	14	26
402	114	29		✓	✓			8	8	32	9	7	27
403	178	35		✓	✓			8	8	32	9	11	27
404	172	29	1	✓	✓			8	8	32	9	11	27
405	107	20		✓	✓			8	8	34	10	4	20
406	65	17		✓	✓			8	8	34	10	3	17
407	27	10		✓	✓			8	8	34	11	4	10
408	56	15	1	✓	✓			8	8	34	10	9	15
409	41	15		✓	✓			8	8	34	10	9	15
410	68	17		✓	✓			8	8	34	10	11	15
411	44	15	1	✓	✓			8	8	34	10	5	15
412	49	15		✓	✓			8	8	34	10	3	15
413	69	20		✓	✓			8	8	34	10	2	20
414	80	23	1	✓	✓			8	8	34	10	3	23
415	70	23		✓	✓			8	8	34	10	3	23
416	80	23		✓	✓			8	8	34	10	1	21
417	94	25		✓	✓			8	8	34	10	3	23
418	61	19	1	✓	✓			8	8	34	10	3	19
419	44	15		✓	✓			8	8	34	10	5	15
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
420	48	16		✓	✓			8	8	34	10	6	16
421	48	16	1	✓	✓			8	8	34	10	6	16
422	43	13		✓	✓			8	8	34	10	5	13
423	79	20		✓	✓			8	8	34	10	6	20
424	60	17		✓	✓			8	8	34	10	5	17
425	58	17	1	✓	✓			8	8	34	10	7	17
426	43	14		✓	✓			8	8	34	10	4	14
427	45	14		✓	✓			8	8	34	10	8	14
428	42	9		✓	✓			7	8	27	6	5	9
429	58	9		✓	✓			7	8	26	6	5	9
430	45	10	1	✓	✓			7	7	21	4	2	8
431	272	48		✓	✓			13	7	43	9	12	32
432	288	64		✓	✓			13	7	44	10	8	42
433	262	80	1	✓	✓			13	7	44	10	10	42
434	370	96		✓	✓			13	7	44	10	8	42
435	206	52	1	✓	✓			13	7	44	9	16	36
436	117	24		✓	✓			9	9	36	8	10	20
437	174	36		✓	✓			9	9	36	8	8	20
438	166	36	1	✓	✓			9	9	36	8	8	22
439	152	30		✓	✓			9	9	36	8	8	20
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
440	156	32	1	✓	✓			9	9	36	8	8	22
441	299	80		✓	✓			13	7	51	15	30	56
442	261	62	1	✓	✓			13	7	51	15	20	56
443	286	68		✓	✓			13	7	51	15	28	56
444	299	80		✓	✓			13	7	51	15	32	56
445	309	67	1	✓	✓			13	7	51	15	15	39
446	283	57		✓	✓			13	7	51	15	21	39
447	195	32		✓	✓			13	7	50	14	20	28
448	113	36		✓	✓			11	11	57	4	18	20
449	113	36	1	✓	✓			11	11	57	4	18	20
450	150	43		✓	✓			11	11	57	6	13	29
451	85	27		✓	✓			9	7	31	9	13	27
452	80	27	1	✓	✓			9	7	31	9	11	27
453	75	27		✓	✓			9	7	31	9	15	27
454	30	10		✓	✓			9	7	27	8	10	10
455	51	9		✓	✓			9	7	29	9	7	9
456	198	55	1	✓	✓			13	7	43	9	21	53
457	65	25		✓	✓			13	7	42	9	11	25
458	164	29		✓	✓			9	9	43	11	13	23
459	160	31	1	✓	✓			9	9	43	11	21	27
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
460	69	20		✓	✓			9	9	41	11	12	20
461	61	17	1	✓	✓			10	10	49	12	11	17
462	97	27		✓	✓			10	10	49	11	13	23
463	117	29		✓	✓			10	10	49	11	13	23
464	228	31	1	✓	✓			10	10	52	12	15	27
465	292	37		✓	✓			10	10	52	12	17	33
466	213	29	1	✓	✓			10	10	51	11	15	29
467	204	33		✓	✓			10	10	51	11	15	29
468	221	40	1	✓	✓			10	10	59	18	8	28
469	135	26	1	✓	✓			10	10	58	18	14	26
470	92	20		✓	✓			10	10	57	17	18	20
471	371	76	1	✓	✓			10	9	52	16	14	50
472	486	92	2	✓	✓			10	9	52	16	14	50
473	116	29	2	✓	✓			10	9	53	18	17	29
474	114	33	1	✓	✓			10	9	53	18	17	29
475	130	33		✓	✓			10	9	53	18	11	29
476	58	18	1	✓	✓			10	9	52	18	8	18
477	77	22		✓	✓			10	9	52	18	6	22
478	72	21	1	✓	✓			10	9	52	18	11	21
479	70	21	1	✓	✓			10	9	52	18	9	21
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
480	75	23	6	✓	✓			10	9	52	16	13	23
481	168	26	6	✓	✓			10	9	50	16	12	26
482	145	26	5	✓	✓			10	9	50	16	12	26
483	166	26	6	✓	✓			10	9	50	16	12	26
484	143	26	5	✓	✓			10	9	50	16	12	26
485	121	34		✓	✓			11	7	36	8	28	30
486	275	96		✓	✓			11	7	34	8	18	24
487	140	36	1	✓	✓			11	7	34	8	8	22
488	97	26		✓	✓			11	7	34	8	10	26
489	104	22		✓	✓			11	7	37	9	6	22
490	265	90		✓	✓			11	7	34	8	12	18
491	107	35	1	✓	✓			11	11	63	14	17	35
492	103	37		✓	✓			11	11	60	13	19	37
493	146	37		✓	✓			11	11	60	13	19	37
494	149	37	1	✓	✓			11	11	60	13	31	37
495	190	42		✓	✓			11	11	60	14	18	36
496	181	42		✓	✓			11	11	60	14	16	36
497	185	42	1	✓	✓			11	11	60	14	16	36
498	291	62		✓	✓			11	11	52	9	26	48
499	89	29		✓	✓			11	11	52	9	15	29
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
500	83	28		✓	✓			11	7	37	7	18	26
501	73	23	1	✓	✓			11	7	37	7	17	21
502	107	36		✓	✓			11	7	37	7	26	32
503	83	28		✓	✓			11	7	37	8	20	26
504	81	27		✓	✓			11	7	37	9	21	25
505	148	51	1	✓	✓			9	9	43	10	33	47
506	160	47		✓	✓			9	9	43	10	47	47
507	254	72		✓	✓			9	12	56	9	56	62
508	142	47		✓	✓			13	6	41	10	23	43
509	173	47	1	✓	✓			13	6	42	11	15	45
510	84	26		✓	✓			11	6	34	8	10	26
511	133	36	1	✓	✓			13	6	41	11	14	34
512	285	66		✓	✓			13	6	42	12	10	62
513	160	44	1	✓	✓			13	6	42	12	8	44
514	295	72		✓	✓			13	6	42	12	10	64
515	407	85	1	✓	✓			13	6	42	12	9	53
516	337	81	1	✓	✓			13	6	42	12	11	53
517	105	30		✓	✓			13	6	42	12	10	30
518	141	33		✓	✓			13	6	42	12	9	27
519	220	58	1	✓	✓			13	6	42	12	12	50
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
520	206	68		✓	✓			13	6	42	12	16	50
521	227	64	1	✓	✓			13	6	42	12	12	50
522	337	106		✓	✓			13	6	42	11	14	46
523	338	84	1	✓	✓			13	6	42	11	18	48
524	277	48		✓	✓			11	9	59	18	14	24
525	133	32		✓	✓			13	6	42	11	14	24
526	181	46	1	✓	✓			11	6	34	9	14	38
527	221	49		✓	✓			11	6	34	9	13	39
528	189	43	1	✓	✓			11	6	34	9	13	39
529	213	61		✓	✓			11	6	34	9	11	39
530	231	59	1	✓	✓			11	6	34	9	11	39
531	261	55		✓	✓			11	6	34	9	13	39
532	215	51	1	✓	✓			11	6	34	9	13	39
533	221	52		✓	✓			11	6	34	9	14	38
534	109	29	1	✓	✓			9	6	26	6	9	29
535	115	32		✓	✓			9	6	26	6	10	28
536	87	29		✓	✓			9	6	26	6	11	25
537	209	56	1	✓	✓			9	7	31	9	18	44
538	194	48	1	✓	✓			9	7	31	9	12	44
539	137	34	1	✓	✓			9	7	32	10	14	34
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
540	183	57		✓	✓			15	7	43	8	25	39
541	125	30	1	✓	✓			10	11	41	7	10	24
542	297	66		✓	✓			13	7	51	15	20	36
543	247	48		✓	✓			13	7	45	8	16	34
544	257	48	1	✓	✓			13	7	44	8	16	38
545	213	34		✓	✓			13	7	45	8	16	26
546	255	46		✓	✓			13	7	45	8	16	26
547	195	31	1	✓	✓			12	7	42	8	15	25
548	190	30		✓	✓			12	7	42	8	14	24
549	228	44		✓	✓			12	7	42	8	14	22
550	237	33		✓	✓			12	7	42	8	15	23
551	213	40	1	✓	✓			12	7	42	8	14	24
552	125	24		✓	✓			11	7	37	6	14	14
553	177	30		✓	✓			11	7	37	6	14	14
554	100	20	1	✓	✓			11	7	37	6	8	14
555	165	23		✓	✓			11	7	37	7	9	15
556	156	28	1	✓	✓			11	7	37	7	14	26
557	182	32		✓	✓			11	7	37	7	16	26
558	123	20		✓	✓			11	7	37	7	14	20
559	377	98		✓	✓			19	7	75	20	56	64
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
560	316	66	4	✓				11	15	108	38	12	34
561	378	76		✓	✓			19	7	77	22	58	68
562	436	116	1	✓	✓			19	7	65	16	48	56
563	389	107		✓	✓			17	7	61	16	47	53
564	429	100		✓	✓			19	7	77	21	56	64
565	228	64		✓	✓			13	7	44	9	28	34
566	329	90	1	✓	✓			17	7	67	18	56	62
567	452	150		✓	✓			20	7	80	22	60	68
568	409	110		✓	✓			16	7	62	16	52	60
569	179	48	1	✓	✓			13	7	43	6	26	28
570	156	24		✓	✓			9	9	42	11	6	24
571	120	24		✓	✓			9	8	33	10	4	22
572	79	18		✓	✓			9	7	31	8	8	16
573	69	14	1	✓	✓			8	7	26	7	4	10
574	132	24		✓	✓			9	8	36	11	4	14
575	70	12		✓	✓			9	7	32	9	6	12
576	269	64		✓	✓			13	7	45	8	26	30
577	128	40	1	✓	✓			11	7	41	8	22	30
578	148	40		✓	✓			11	7	41	8	22	28
579	118	40		✓	✓			11	7	41	8	20	26
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
580	116	36		✓	✓			11	7	39	8	18	26
581	226	62		✓	✓			11	7	39	8	20	28
582	103	22	1	✓	✓			8	7	28	8	10	20
583	146	28		✓	✓			8	7	28	8	12	22
584	113	32	1	✓	✓			8	7	28	8	12	20
585	115	22		✓	✓			8	7	28	8	14	20
586	55	14		✓	✓			8	7	28	8	10	14
587	91	26		✓	✓			9	7	26	4	18	26
588	100	30	1	✓	✓			9	7	26	4	22	30
589	111	29		✓	✓			9	7	26	4	7	25
590	129	25		✓	✓			9	7	26	4	11	25
591	157	26		✓	✓			13	7	45	8	26	26
592	217	40	1	✓	✓			13	7	45	9	22	34
593	179	32	1	✓	✓			13	7	45	9	26	28
594	267	60	1	✓	✓			13	7	46	10	28	32
595	293	75		✓	✓			13	7	46	10	27	33
596	114	36		✓	✓			13	7	43	6	18	24
597	178	44	1	✓	✓			13	7	44	8	30	30
598	310	50		✓	✓			13	7	46	10	24	32
599	146	44		✓	✓			13	7	43	9	30	40
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
600	181	46	1	✓	✓			13	7	43	8	28	46
601	157	38		✓	✓			13	7	43	8	24	34
602	102	28	1	✓	✓			13	7	44	8	20	28
603	135	28		✓	✓			13	7	44	8	20	28
604	155	32		✓	✓			13	7	44	9	20	32
605	167	38	1	✓	✓			13	7	44	9	24	34
606	187	34		✓	✓			13	7	44	10	24	34
607	181	35	1	✓	✓			13	7	44	10	23	33
608	257	44		✓	✓			11	8	51	14	14	14
609	265	44		✓	✓			11	8	51	14	14	14
610	292	54	1	✓	✓			11	8	51	14	14	14
611	324	66		✓	✓			11	8	50	14	14	14
612	282	40		✓	✓			11	8	50	14	14	14
613	133	39	1	✓	✓			11	6	35	12	19	27
614	44	12		✓	✓			11	6	35	11	4	10
615	53	14	1	✓	✓			11	6	35	11	6	14
616	75	13		✓	✓			10	7	36	9	9	9
617	203	30		✓	✓			10	8	44	12	12	12
618	194	46	1	✓	✓			10	8	44	12	12	26
619	479	76		✓	✓			10	8	43	12	2	16
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
620	151	34		✓	✓			10	6	28	7	2	18
621	128	20	1	✓	✓			10	6	29	8	2	20
622	252	38		✓	✓			10	6	29	8	2	24
623	80	22		✓	✓			10	6	28	7	8	20
624	46	15	1	✓	✓			10	6	27	8	3	15
625	132	24		✓	✓			10	6	29	8	6	22
626	120	24		✓	✓			10	6	29	8	6	24
627	221	49		✓	✓			11	7	41	10	21	43
628	123	26	1	✓	✓			11	7	41	10	20	24
629	82	26		✓	✓			9	7	31	7	10	26
630	94	25		✓	✓			9	7	31	6	17	25
631	93	19		✓	✓			9	7	31	6	7	19
632	161	32	1	✓	✓			13	7	51	14	16	28
633	143	32		✓	✓			13	7	51	14	16	24
634	170	36		✓	✓			13	7	51	14	18	24
635	103	30	1	✓	✓			13	7	47	14	20	30
636	197	45		✓	✓			13	7	51	16	13	41
637	63	16		✓	✓			6	9	26	5	6	10
638	162	36		✓	✓			7	9	32	7	10	22
639	327	64		✓	✓			8	9	38	9	14	30
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
640	474	86	1	✓	✓			9	9	44	11	18	44
641	37	8		✓	✓			6	9	26	6	4	8
642	128	30	1	✓	✓			7	9	33	9	6	28
643	289	62	1	✓	✓			8	9	39	11	8	32
644	600	112	2	✓	✓			9	9	45	13	10	62
645	476	81	1	✓	✓			7	13	51	15	17	43
646	40	9		✓	✓			7	7	19	3	3	9
647	32	9		✓	✓			6	7	17	3	3	9
648	179	33	2	✓	✓			9	8	42	14	9	15
649	137	33	1	✓	✓			9	8	34	10	9	15
650	87	19		✓	✓			9	6	24	4	7	15
651	53	13		✓	✓			9	6	24	4	5	11
652	54	16	1	✓	✓			9	6	24	4	6	12
653	78	20		✓	✓			9	7	27	5	8	16
654	93	21		✓	✓			9	8	30	6	9	17
655	190	32		✓	✓			9	9	33	7	10	24
656	181	39	1	✓	✓			9	10	36	8	11	27
657	316	50		✓	✓			9	11	39	9	12	34
658	337	55	1	✓	✓			9	12	42	10	13	39
659	95	18		✓	✓			9	7	29	6	8	16
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
660	105	19		✓	✓			9	8	34	8	9	17
661	115	20	1	✓	✓			9	9	39	10	10	18
662	102	15		✓	✓			9	7	30	8	7	15
663	61	13		✓	✓			9	7	30	7	5	13
664	126	22	1	✓	✓			9	8	33	8	6	14
665	227	47	1	✓	✓			9	9	36	9	7	17
666	190	36	2	✓	✓			9	10	39	10	8	22
667	311	53	1	✓	✓			9	11	42	11	9	27
668	106	24		✓	✓			9	7	30	7	4	18
669	106	18		✓	✓			9	7	29	7	2	18
670	237	51	1	✓	✓			9	8	34	7	7	31
671	375	84		✓	✓			11	13	79	12	24	28
672	210	39		✓	✓			9	9	38	8	7	21
673	259	37	1	✓	✓			9	9	39	9	7	19
674	211	41		✓	✓			9	9	40	9	7	23
675	264	57	1	✓	✓			9	9	42	11	7	21
676	244	55		✓	✓			9	9	43	11	7	25
677	145	27	1	✓	✓			9	8	33	6	7	25
678	69	20		✓	✓			9	7	30	4	6	18
679	147	39		✓	✓			9	7	30	4	15	29
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
680	163	52		✓	✓			9	9	41	8	30	36
681	141	36	1	✓	✓			9	9	40	6	20	26
682	251	62		✓	✓			9	9	40	6	20	26
683	119	23		✓	✓			9	7	29	5	11	23
684	83	17		✓	✓			9	7	29	4	13	17
685	92	18	1	✓	✓			9	7	31	8	14	18
686	104	20		✓	✓			9	7	31	8	14	18
687	487	98		✓				11	13	76	12	24	32
688	50	16		✓	✓			9	7	28	6	14	16
689	633	114	1	✓				11	13	76	14	24	38
690	647	116	5	✓				11	13	76	15	24	36
691	775	118	1	✓				11	13	76	15	24	38
692	554	80	3	✓	✓			11	11	53	14	18	24
693	322	51	1	✓	✓			11	11	53	14	17	23
694	339	52	1	✓	✓			11	11	52	14	12	22
695	355	53	1	✓	✓			11	11	52	14	15	21
696	91	16		✓	✓			8	8	29	5	8	16
697	133	28		✓	✓			8	8	29	5	14	26
698	105	28		✓	✓			8	8	29	5	12	26
699	101	28	1	✓	✓			8	8	29	5	14	26
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
700	127	28		✓	✓			8	8	29	5	20	26
701	167	28		✓	✓			8	8	29	6	20	26
702	121	28		✓	✓			8	8	29	6	8	26
703	109	26	1	✓	✓			8	8	29	6	8	26
704	135	31		✓	✓			8	8	31	7	13	27
705	84	25		✓	✓			8	8	28	6	9	25
706	74	25	1	✓	✓			8	8	27	5	9	25
707	76	25		✓	✓			8	8	27	5	9	25
708	93	23		✓	✓			8	8	27	6	9	23
709	93	23		✓	✓			8	8	27	6	11	23
710	107	26	1	✓	✓			8	8	30	7	10	26
711	119	28		✓	✓			8	8	30	7	12	26
712	157	31		✓	✓			8	8	31	7	17	27
713	79	21		✓	✓			8	8	30	7	13	21
714	104	29	1	✓	✓			8	8	29	5	17	29
715	83	28		✓	✓			8	8	29	6	16	26
716	97	30		✓	✓			8	8	28	5	14	30
717	177	35		✓	✓			8	8	28	5	15	35
718	217	49	1	✓	✓			8	8	32	7	19	39
719	144	37		✓	✓			8	8	32	7	19	31
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
720	128	31		✓	✓			8	8	32	7	19	31
721	180	44	1	✓	✓			8	8	30	6	20	38
722	86	30		✓	✓			8	8	31	8	14	26
723	161	32		✓	✓			7	9	29	8	16	32
724	128	32	1	✓	✓			7	8	27	6	10	30
725	104	29		✓	✓			8	8	28	9	15	29
726	73	24		✓	✓			8	8	25	7	14	24
727	63	24	1	✓	✓			8	8	25	5	18	24
728	121	30		✓	✓			9	10	31	6	24	30
729	112	29		✓	✓			9	10	33	7	15	29
730	102	33	1	✓	✓			13	6	28	6	13	31
731	121	38		✓	✓			12	6	28	7	20	36
732	169	46		✓	✓			11	6	27	7	22	36
733	122	24		✓	✓			10	6	23	5	12	24
734	135	31		✓	✓			10	6	25	4	9	27
735	126	24	1	✓	✓			10	7	31	7	18	24
736	120	28		✓	✓			10	7	31	7	18	26
737	99	26	1	✓	✓			10	7	31	7	18	24
738	78	26		✓	✓			8	7	26	6	10	24
739	93	23		✓	✓			8	7	26	6	11	23
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
740	56	23	1	✓	✓			8	7	26	6	13	23
741	161	41		✓	✓			8	8	29	9	15	37
742	71	13		✓	✓			8	8	28	4	9	13
743	63	24		✓	✓			9	7	32	10	12	24
744	3904	436	442	✓				17	18	209	79	7	136
745	244	45	1	✓	✓			11	7	40	12	15	39
746	164	47	1	✓	✓			11	7	38	11	15	41
747	130	43		✓	✓			11	7	38	11	17	37
748	155	36		✓	✓			11	7	38	9	4	22
749	124	28		✓	✓			11	7	38	9	4	26
750	129	38	1	✓	✓			11	7	39	10	10	22
751	79	26		✓	✓			11	7	39	10	10	22
752	76	26		✓	✓			11	7	39	10	10	18
753	98	20		✓	✓			11	7	33	7	10	20
754	78	27	1	✓	✓			13	9	34	3	5	27
755	93	35		✓	✓			9	13	37	3	3	35
756	64	31		✓	✓			12	8	31	3	3	31
757	76	24		✓	✓			9	10	29	3	2	24
758	190	75	1	✓	✓			9	13	38	3	13	25
759	90	24		✓	✓			9	7	26	3	4	24
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
760	130	52		✓	✓			8	12	36	3	12	46
761	114	36		✓	✓			14	8	38	3	12	32
762	94	26		✓	✓			7	10	26	3	2	26
763	63	24	1	✓	✓			6	13	27	3	20	24
764	93	24		✓	✓			11	7	32	6	8	24
765	90	37		✓	✓			13	8	34	3	23	37
766	117	37		✓	✓			11	11	42	3	17	29
767	96	26	1	✓	✓			8	10	27	3	6	22
768	111	29		✓	✓			11	7	32	4	19	29
769	178	50		✓	✓			11	7	32	4	28	34
770	168	56		✓	✓			11	7	32	4	36	40
771	160	49		✓	✓			11	7	32	5	39	43
772	173	50	1	✓	✓			11	7	32	5	20	46
773	145	47		✓	✓			11	7	32	6	39	43
774	163	65		✓	✓			11	7	32	6	23	57
775	82	23		✓	✓			9	7	26	6	19	23
776	99	24	1	✓	✓			7	10	28	6	20	24
777	196	40		✓	✓			7	12	38	7	24	30
778	91	30		✓	✓			7	10	30	7	20	26
779	170	43	10	✓	✓			7	10	40	14	13	41
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
780	117	25	1	✓	✓			7	9	35	11	19	21
781	289	68	1	✓	✓			7	9	34	10	10	48
782	157	40		✓	✓			7	9	33	9	14	34
783	202	43		✓	✓			7	9	33	11	15	41
784	134	24	1	✓	✓			7	9	33	10	16	18
785	140	24		✓	✓			7	9	33	10	14	18
786	122	20	1	✓	✓			7	9	32	9	14	20
787	157	33		✓	✓			9	8	33	4	25	33
788	94	26		✓	✓			8	8	26	4	24	24
789	85	22		✓	✓			7	8	24	4	20	20
790	75	16		✓	✓			7	7	20	3	12	14
791	60	19	1	✓	✓			7	7	23	6	9	17
792	62	17		✓	✓			7	9	22	4	9	15
793	130	35		✓	✓			7	9	29	6	11	25
794	80	23		✓	✓			6	8	21	5	7	17
795	138	36	1	✓	✓			8	8	34	10	14	24
796	75	23		✓	✓			8	7	28	8	13	21
797	58	17		✓	✓			8	6	22	5	7	17
798	317	76	1	✓	✓			11	9	45	9	18	32
799	183	48	1	✓	✓			9	9	38	7	16	44
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
800	155	46		✓	✓			9	9	38	7	12	44
801	160	47		✓	✓			9	9	36	8	15	41
802	257	61	1	✓	✓			9	9	37	8	15	35
803	138	38		✓	✓			9	9	39	8	16	22
804	526	109		✓	✓			10	10	48	7	57	97
805	308	80	1	✓	✓			10	10	47	6	56	78
806	314	94		✓	✓			10	10	46	6	52	80
807	551	110		✓	✓			10	10	48	7	66	100
808	380	72		✓	✓			9	10	43	7	60	66
809	442	80	1	✓	✓			9	10	43	7	62	72
810	396	74		✓	✓			9	10	42	7	52	58
811	207	38		✓	✓			9	8	31	4	24	30
812	153	24		✓	✓			8	8	28	4	20	22
813	147	27		✓	✓			9	8	31	4	23	25
814	197	33	1	✓	✓			9	8	30	4	25	33
815	122	34		✓	✓			9	8	33	5	30	34
816	165	32		✓	✓			8	8	29	4	24	28
817	136	26		✓	✓			8	8	28	4	20	24
818	106	21		✓	✓			8	8	27	3	17	19
819	150	22	1	✓	✓			8	8	26	3	18	20
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
820	80	22		✓	✓			8	8	26	3	20	22
821	1784	188	195	✓				17	13	141	44	32	104
822	1590	200	7	✓				15	15	133	38	28	50
823	4946	413	407	✓				19	17	240	88	4	113
824	3333	781	3	✓				16	13	121	25	659	663
825				✕				19	17	215	82	82	104
826	747	114	9	✓				11	13	75	24	28	40
827	1036	108	401	✓				13	13	97	32	32	38
828				✕				17	13	142	46	32	136
829				✕		✓ Festival 3.1		17	13	139	42	20	122
830	272	40	79	✓	✓			15	9	87	31	18	32
831	496	80	102	✓	✓			13	11	92	32	20	34
832	1750	218	592	✓				13	13	111	38	24	66
833	212	38		✓	✓			13	9	62	12	24	24
834	183	36		✓	✓			12	9	58	12	24	24
835	207	26		✓	✓			11	9	41	8	16	22
836	123	18	1	✓	✓			11	9	52	12	10	16
837	3482	264	504	✓				17	17	224	93	1	56
838	364	93	1	✓	✓			13	9	61	14	85	91
839	517	122		✓	✓			13	9	59	12	100	100
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
840	1219	199	11	✓				15	13	79	14	175	189
841	619	156	1	✓	✓			13	15	116	18	68	88
842				✕				19	19	258	56	268	298
843	1479	558	118	✓				17	13	152	46	454	476
844	1822	343	6	✓				24	9	113	23	189	209
845	200	42	1	✓	✓			8	9	34	8	24	30
846	305	64		✓	✓			9	9	39	12	18	30
847	292	76	1	✓	✓			14	14	92	12	44	52
848	376	54	3	✓	✓			10	9	44	14	20	40
849	105	18		✓	✓			8	9	34	10	12	16
850	669	120	1	✓	✓			12	11	70	22	28	36
851	359	64	16	✓	✓			10	11	60	20	20	32
852	513	98	13	✓	✓			10	11	58	18	20	28
853	127	20		✓	✓			8	9	34	10	12	16
854	340	62		✓	✓			10	9	44	14	20	34
855	414	64	3	✓	✓			15	9	74	17	6	28
856	323	72	4	✓	✓			12	10	55	16	22	36
857	371	74		✓	✓			10	10	42	10	22	30
858	684	95	3	✓	✓			12	9	55	16	15	35
859	624	92	11	✓	✓			15	10	65	19	16	46
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
860	823	196	1	✓				19	11	100	19	86	102
861	574	117	1	✓				9	13	66	19	71	85
862	1480	258	531	✓				15	17	115	33	4	54
863				✕				15	17	129	40	12	56
864	613	98	2	✓				13	15	96	24	20	34
865	1714	158	402	✓				19	19	152	40	36	44
866	929	162	3	✓	✓			11	11	79	26	12	32
867	1022	216	7	✓				13	13	99	30	102	124
868	124	30		✓	✓			11	6	27	4	16	28
869	120	40		✓	✓			14	7	35	6	12	38
870	190	33	1	✓	✓			15	6	43	7	9	27
871	1235	272		✓				16	12	90	18	166	188
872	221	48	1	✓	✓			9	9	39	10	8	14
873	227	46		✓	✓			9	9	34	8	8	16
874	699	120	29	✓	✓			13	13	77	24	8	28
875	331	74	2	✓	✓			11	11	53	15	6	20
876	77	18		✓	✓			9	9	33	8	4	12
877	48	10	1	✓	✓			7	9	32	8	10	10
878	890	173	55	✓				17	9	82	25	35	39
879	4629	1560	113	✓				19	19	258	60	504	548
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
880	2841	573	18	✓				15	12	96	22	263	433
881	2649	677	9	✓				24	10	114	26	497	631
882	345	126		✓	✓			11	14	73	9	116	124
883	357	128		✓	✓			10	14	68	10	120	126
884	78	15		✓	✓			9	7	33	9	7	9
885	256	41	1	✓	✓			13	7	51	15	11	13
886	552	107	4	✓	✓			9	13	69	21	15	33
887	722	85	208	✓				13	13	105	33	23	41
888	2810	309	276	✓				13	13	108	36	17	27
889	634	91	6	✓	✓			9	13	72	24	13	23
890	122	25		✓	✓			9	11	54	14	11	21
891	267	38	1	✓	✓			9	10	50	14	10	18
892	216	37		✓	✓			11	11	72	24	11	19
893	252	47	3	✓	✓			9	9	46	14	9	35
894	95	28	3	✓	✓			9	9	46	14	8	18
895	436	106	5	✓	✓			13	10	61	12	64	80
896	1055	186	4	✓	✓			13	11	73	16	48	54
897	454	119	1	✓	✓			11	11	65	16	45	49
898	305	76	1	✓				11	11	68	18	50	58
899	405	75	73	✓				9	17	95	30	19	51
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
900	311	42	10	✓	✓			9	17	97	33	16	32
901	338	30		✓	✓			17	9	94	30	18	24
902	68	12	1	✓	✓			9	11	63	22	4	8
903	228	40		✓	✓			11	11	80	28	8	16
904	75	25	1	✓	✓			13	12	108	43	7	21
905	1202	164	174	✓				13	13	119	47	4	28
906	129	36	1	✓	✓			14	9	64	24	8	24
907	106	36	2	✓	✓			15	9	70	26	8	32
908	77	36	1	✓	✓			15	9	70	26	8	24
909	204	26	1	✓	✓			7	11	40	10	14	22
910	726	172	503	✓				13	15	81	23	14	54
911	470	38	3	✓	✓			11	11	64	16	24	32
912	251	62		✓	✓			7	12	46	13	20	40
913	502	118	1	✓	✓			11	15	77	24	24	38
914	187	34	1	✓	✓			11	11	45	7	24	32
915	223	40	1	✓	✓			10	11	48	9	18	30
916	385	72	3	✓	✓			11	11	46	13	12	30
917	100	20	1	✓	✓			9	7	31	9	4	16
918	285	64	1	✓	✓			13	7	49	15	8	20
919	333	68	10	✓	✓			9	11	57	19	8	32
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
920	860	108	401	✓				13	11	89	31	16	44
921	1356	156	401	✓				13	11	88	30	16	48
922	238	54	19	✓	✓			9	13	66	22	8	36
923	885	138	6	✓				11	11	81	28	8	34
924	386	64	1	✓	✓			13	8	47	13	4	16
925	238	56	6	✓	✓			9	9	45	16	16	32
926	273	53		✓	✓			10	12	55	14	21	31
927	771	132	9	✓				11	11	70	24	40	46
928	113	23		✓	✓			11	6	24	3	9	23
929	149	25	1	✓	✓			12	6	32	6	9	19
930	997	290		✓	✓			16	16	123	20	80	118
931	321	55		✓	✓			16	10	54	9	27	51
932	1256	294	1	✓				18	10	91	14	218	224
933	374	68		✓	✓			22	6	62	12	12	44
934	169	34		✓	✓			10	8	38	6	2	28
935	288	60	1	✓	✓			11	8	43	8	2	30
936	119	30		✓	✓			11	8	44	9	4	30
937	352	48		✓	✓			11	8	44	9	10	24
938	119	34	1	✓	✓			11	8	45	11	8	24
939	134	28	1	✓	✓			11	8	42	8	12	18
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
940	163	31		✓	✓			11	8	42	7	7	17
941	439	98	2	✓	✓			13	11	67	12	6	28
942	370	70	2	✓	✓			13	11	67	12	6	30
943	298	50	1	✓	✓			13	11	67	14	6	30
944	442	73	2	✓	✓			13	11	69	15	15	33
945	405	110		✓	✓			17	14	89	14	62	96
946	383	48	1	✓	✓			14	14	80	12	20	32
947	1790	158	407	✓				15	15	140	49	20	30
948	1598	214	58	✓				14	14	125	45	18	30
949	503	74	2	✓				13	13	113	41	16	26
950	644	78		✓	✓			12	12	74	17	14	20
951	525	122	2	✓	✓			10	10	49	12	98	112
952	28	11		✓	✓			6	9	22	7	9	11
953	424	80	1	✓	✓			13	13	77	20	44	52
954	229	34	11	✓	✓			9	13	72	24	12	32
955	311	59		✓	✓			9	10	44	11	17	31
956	238	37	1	✓	✓			13	8	57	16	13	25
957	621	71	21	✓	✓			15	8	67	19	15	33
958	566	85	74	✓	✓			17	8	77	22	17	39
959	409	121	1	✓	✓			11	16	55	13	101	117
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
960	446	149		✓	✓			12	12	56	10	145	147
961	462	144		✓	✓			12	12	60	11	118	138
962	352	50		✓	✓			9	9	40	9	32	34
963	261	42	1	✓	✓			10	10	46	8	34	38
964	1170	212	7	✓				13	13	97	24	46	50
965	1232	204	162	✓				13	13	97	26	46	70
966				✕			✓	17	13	121	41	68	82
967	724	159		✓	✓			14	11	59	5	99	145
968	190	40		✓	✓			6	13	37	8	12	22
969	161	34	1	✓	✓			6	13	38	8	8	26
970	294	54		✓	✓			13	8	51	12	12	22
971	315	52	1	✓	✓			17	9	61	11	16	34
972	195	43		✓	✓			15	7	43	9	27	39
973	269	50	1	✓	✓			15	7	45	11	10	42
974	343	82	2	✓	✓			19	9	65	15	18	42
975	357	78	9	✓	✓			19	9	65	16	18	54
976	443	122	7	✓	✓			17	9	57	13	16	50
977	1187	154	279	✓				11	17	122	36	10	50
978	2949	230	406	✓				19	17	184	54	20	58
979	3153	236	402	✓				17	17	170	54	16	66
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
980	550	112	16	✓	✓			14	11	75	16	8	80
981	443	88	3	✓	✓			14	11	74	16	8	72
982	375	50		✓	✓			11	10	46	6	18	42
983	227	38	1	✓	✓			11	10	46	6	18	32
984	1248	232	56	✓				19	11	115	26	64	102
985	1063	128	401	✓				15	11	92	24	64	88
986	1227	209	25	✓				15	11	91	23	57	89
987	374	128		✓				13	12	83	11	20	84
988	319	71	101	✓	✓			15	13	85	28	19	29
989	666	113	411	✓				15	13	85	29	19	35
990	374	60	4	✓	✓			11	11	73	24	32	34
991	733	130	1	✓	✓			9	15	85	30	34	42
992				✕			✓	17	17	187	63	212	244
993				✕			✓	17	17	184	61	190	226
994	198	56		✓	✓			8	10	39	8	10	44
995	520	104	1	✓	✓			17	15	87	16	4	70
996	154	49		✓	✓			14	7	46	5	35	49
997	368	94	1	✓	✓			14	13	93	10	70	92
998	516	126		✓	✓			14	13	92	12	70	84
999	346	102	3	✓				13	13	100	32	16	42
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1000	1412	218	404	✓				15	15	120	32	52	76
1001	1172	294	266	✓				14	13	113	32	28	96
1002	2025	504	51	✓				15	13	112	25	144	164
1003	562	167	1	✓	✓			17	8	66	13	25	83
1004	200	25		✓	✓			11	10	51	5	13	23
1005	208	33	1	✓	✓			9	12	49	9	9	25
1006	534	130	5	✓	✓			13	10	66	11	32	54
1007	156	35		✓	✓			10	8	32	4	11	29
1008	81	18		✓	✓			10	6	23	4	8	18
1009	117	31		✓	✓			11	6	26	5	13	23
1010	147	32	1	✓	✓			13	6	33	6	18	30
1011	255	64		✓	✓			11	10	56	12	16	36
1012	359	78	1	✓	✓			11	11	59	11	20	42
1013	195	49		✓	✓			10	9	39	9	11	33
1014	2665	668	201	✓				13	15	114	26	78	112
1015	1836	335	44	✓				13	15	115	28	73	119
1016	1368	206	2	✓				17	17	137	16	60	122
1017				✕				19	17	207	70	225	577
1018				✕			✓	19	17	211	70	2	168
1019	1470	174	169	✓				19	16	150	20	36	50
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1020	265	45	2	✓	✓			10	9	52	18	15	31
1021	708	108	102	✓				15	15	101	33	12	54
1022	74	20	3	✓	✓			7	9	31	11	4	18
1023	1304	178	403	✓				13	13	101	30	28	88
1024	259	70		✓	✓			15	7	47	12	6	26
1025	228	53		✓	✓			11	9	44	8	15	47
1026	705	223	2	✓				13	13	69	19	9	39
1027	85	14	1	✓	✓			11	11	61	12	12	14
1028	331	72	7	✓	✓			11	17	91	21	14	22
1029	2099	272	406	✓				19	17	176	44	38	66
1030	376	74	12	✓	✓			10	12	56	13	16	32
1031	679	136	223	✓				19	12	113	26	32	80
1032	1360	218	478	✓				19	11	109	24	34	68
1033	852	136	131	✓				19	11	115	25	34	56
1034	318	75	1	✓	✓			13	9	55	15	53	59
1035	826	199	75	✓				13	17	115	32	103	151
1036	994	281	17	✓				13	14	104	34	101	121
1037	617	88		✓	✓			19	11	101	16	6	38
1038	778	132	7	✓	✓			13	13	85	20	24	28
1039	1448	421	1	✓	✓			18	13	109	17	293	369
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1040	1835	282	159	✓				13	13	108	36	20	68
1041				✕			✓	19	17	203	36	982	1160
1042	2690	1241	1	✓				19	17	207	38	895	995
1043	1355	220	425	✓				19	17	139	29	44	96
1044	517	106	20	✓				11	13	63	13	40	62
1045	542	146	1	✓	✓			11	9	47	9	24	42
1046	190	50	4	✓	✓			15	9	69	19	10	40
1047	967	142	63	✓				16	16	105	24	56	60
1048				✕				19	17	202	41	961	1337
1049	918	349		✓				19	9	98	16	253	335
1050	450	165		✓	✓			19	7	75	13	145	155
1051	280	43	1	✓	✓			13	14	75	8	35	43
1052	378	58		✓	✓			12	12	64	16	16	36
1053	338	108	1	✓	✓			17	7	62	15	100	100
1054	120	20		✓	✓			9	7	32	8	6	18
1055	966	248	315	✓				12	13	83	18	226	228
1056	113	27		✓	✓			13	7	38	9	1	23
1057	518	58	1	✓	✓			19	9	75	14	2	44
1058	2224	220	414	✓				19	15	142	28	4	60
1059	596	137		✓	✓			13	9	49	6	99	125
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1060	1809	297	3	✓	✓			15	13	78	12	227	259
1061	1481	277	1	✓	✓			15	13	75	12	217	249
1062	1058	237	11	✓				13	17	99	12	205	211
1063	558	123	1	✓	✓			11	9	51	12	11	49
1064	744	168	33	✓				15	10	82	24	20	78
1065	435	84	2	✓	✓			13	10	62	18	14	46
1066	986	188	2	✓				13	12	73	20	16	62
1067	504	106	1	✓	✓			13	11	66	18	12	48
1068	420	86	1	✓	✓			9	9	43	11	16	62
1069	138	24	1	✓	✓			9	7	30	8	10	10
1070	478	64		✓	✓			17	7	61	16	20	34
1071	652	120	112	✓	✓			17	7	62	18	20	48
1072				✕				17	13	127	38	40	86
1073	214	36		✓	✓			15	7	57	16	8	34
1074	306	37	1	✓	✓			15	7	58	17	9	25
1075	729	86		✓	✓			10	12	60	13	12	40
1076	1490	222	131	✓				19	12	126	29	24	62
1077	1641	240	149	✓				19	12	123	28	24	76
1078	1029	176	146	✓				19	11	109	24	20	58
1079	1059	204	4	✓	✓			19	11	94	18	42	68
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1080	990	300	1	✓				19	17	117	22	228	246
1081	217	36	6	✓	✓			13	11	51	12	14	36
1082	281	44	10	✓	✓			13	11	49	11	14	42
1083	636	148	2	✓	✓			17	8	58	12	110	122
1084	394	60		✓	✓			15	9	56	10	8	30
1085	300	48	1	✓	✓			12	9	41	7	4	26
1086	568	74	1	✓	✓			17	9	65	12	8	32
1087				✕				17	17	149	29	24	74
1088	257	43		✓	✓			11	9	51	14	21	29
1089	1607	596	4	✓				15	15	149	50	382	400
1090	860	192	92	✓	✓			13	13	81	16	20	64
1091	400	94	3	✓	✓			13	13	72	14	20	66
1092	715	114		✓	✓			15	11	72	12	20	52
1093	269	56	7	✓	✓			13	11	64	12	20	52
1094	1213	180	102	✓	✓			13	11	67	16	40	66
1095	557	114	4	✓	✓			13	11	63	14	40	64
1096	635	104	11	✓	✓			13	11	63	14	40	66
1097	391	58	3	✓	✓			13	11	58	12	32	38
1098	235	86		✓	✓			18	11	78	10	24	68
1099	297	94	3	✓	✓			19	11	81	10	24	80
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1100	209	26		✓	✓			7	14	39	7	12	26
1101	380	69	27	✓	✓			13	14	84	16	25	53
1102	373	56	1	✓	✓			15	11	81	9	10	30
1103	174	55		✓	✓			10	10	43	9	37	49
1104	276	71		✓	✓			10	11	47	9	25	61
1105	257	73	1	✓	✓			11	10	49	9	43	53
1106	168	44		✓	✓			10	11	47	9	38	42
1107	563	128	93	✓	✓			17	8	66	15	50	86
1108	2124	508	476	✓				17	15	133	30	100	224
1109				✕		✓ Festival 3.1		19	17	183	42	98	276
1110				✕				19	17	183	44	102	168
1111	602	227		✓	✓			13	15	87	22	135	211
1112				✕		✓ Festival 3.0		17	15	138	43	139	239
1113	571	74	4	✓	✓			15	11	83	16	14	32
1114	971	313	232	✓				14	15	117	32	129	195
1115	368	57	1	✓	✓			14	11	50	7	23	49
1116	193	36		✓	✓			14	9	47	7	12	30
1117	317	46		✓	✓			14	9	48	8	10	32
1118	320	47	1	✓	✓			14	9	50	10	15	35
1119	178	30		✓	✓			11	6	32	9	8	22
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1120	542	131	3	✓	✓			11	11	65	18	19	51
1121	407	96	5	✓	✓			11	11	65	18	16	48
1122	868	100	403	✓				23	13	151	41	40	74
1123	1474	250	213	✓				21	13	149	43	40	60
1124	1181	169	2	✓	✓			19	11	87	13	11	39
1125	1327	112	32	✓				19	11	115	28	26	40
1126	505	57	2	✓	✓			15	11	72	12	9	37
1127	318	68		✓	✓			12	12	59	11	34	50
1128	791	103	5	✓	✓			15	14	96	17	11	51
1129	583	167		✓	✓			11	15	76	19	123	149
1130	585	205		✓	✓			13	11	74	17	177	193
1131	534	79	3	✓	✓			13	12	79	24	31	41
1132	330	50	12	✓	✓			13	11	78	24	26	36
1133	995	174	10	✓	✓			13	10	73	23	28	38
1134	459	48	106	✓				14	14	94	34	4	24
1135	521	52	6	✓				15	15	107	38	4	18
1136	251	29		✓	✓			17	7	54	13	17	23
1137	1333	168	77	✓				17	13	114	29	30	58
1138	321	49	1	✓	✓			11	9	51	15	13	33
1139	1011	163	11	✓				12	17	117	35	27	55
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1140	58	17	1	✓	✓			9	8	26	5	5	17
1141	414	74		✓	✓			9	15	58	11	10	44
1142	95	19		✓	✓			9	10	38	5	5	13
1143	1187	190	115	✓				17	17	144	27	40	112
1144	1221	208	42	✓				17	17	143	27	52	104
1145	1406	170	15	✓				19	17	171	34	68	118
1146				✕		✓ Festival 3.1		19	15	167	36	72	118
1147	1972	238	11	✓				19	15	168	44	72	76
1148	213	34	1	✓	✓			11	11	58	12	20	28
1149	1232	186	1	✓	✓			13	13	88	19	40	54
1150	1316	206	7	✓				15	15	121	27	90	94
1151	532	82	19	✓	✓			11	11	70	24	10	36
1152	389	90		✓	✓			13	11	75	12	32	54
1153	883	184	1	✓				17	11	99	16	64	88
1154	1501	301	36	✓				19	11	111	19	39	73
1155				✕				19	15	148	27	50	126
1156	126	35	1	✓	✓			9	10	32	9	9	31
1157	215	59	1	✓	✓			10	11	38	11	11	47
1158	331	85		✓	✓			11	12	45	13	13	39
1159	317	71	5	✓	✓			12	13	51	15	15	45
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1160	399	95	5	✓	✓			13	14	57	17	17	51
1161	447	100	1	✓	✓			17	11	65	12	18	60
1162	779	194	315	✓	✓			17	17	119	24	36	106
1163	67	15		✓	✓			9	7	23	5	9	13
1164	204	40	1	✓	✓			17	7	48	11	18	32
1165	525	124	240	✓				19	13	121	26	40	78
1166	624	136	156	✓	✓			17	13	107	22	36	64
1167	84	21		✓	✓			8	9	26	7	7	21
1168	629	103	18	✓	✓			14	15	63	19	19	57
1169	21	7		✓	✓			8	9	27	7	7	7
1170	40	11		✓	✓			7	8	19	5	5	11
1171	50	15		✓	✓			6	8	17	3	5	15
1172	647	127	5	✓				15	9	78	21	39	57
1173	1329	222	1	✓				14	9	71	19	36	64
1174	744	149	3	✓	✓			13	9	65	17	31	55
1175	639	127		✓	✓			15	9	78	21	39	51
1176				✕			✓	19	17	204	58	88	208
1177	75	14		✓	✓			9	7	28	5	8	12
1178	630	136	28	✓				17	13	82	18	32	54
1179	112	21		✓	✓			9	7	27	6	9	19
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1180	347	66	1	✓	✓			9	13	57	14	18	38
1181	97	26	1	✓	✓			9	7	28	5	8	22
1182	234	41	2	✓	✓			17	7	52	9	27	37
1183	270	65	1	✓	✓			17	7	53	10	25	49
1184	370	79		✓	✓			10	15	73	17	23	69
1185	772	143	8	✓	✓			13	15	111	26	35	91
1186	99	14		✓	✓			11	7	33	5	10	14
1187	848	132	52	✓	✓			17	15	117	27	30	102
1188	228	29	1	✓	✓			11	11	50	8	11	19
1189	276	56		✓	✓			11	10	51	9	36	48
1190	185	40		✓	✓			11	9	43	8	32	38
1191	192	19	1	✓	✓			11	10	45	8	9	19
1192	51	11		✓	✓			8	9	32	6	7	11
1193	936	114	1	✓	✓			21	10	91	16	18	52
1194	904	72	111	✓	✓			19	10	88	18	16	40
1195	298	33	3	✓	✓			15	9	66	13	17	31
1196				✕				15	17	136	27	32	74
1197	890	154	1	✓				19	9	85	14	96	120
1198	896	164	1	✓	✓			19	9	87	14	122	150
1199	462	85	1	✓	✓			15	9	65	10	53	75
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1200	1192	184	17	✓				15	17	138	24	118	138
1201	69	16		✓	✓			9	7	26	6	4	16
1202	635	92	103	✓				17	14	104	20	20	52
1203	121	28	1	✓	✓			9	7	33	9	6	28
1204	206	41	1	✓	✓			14	7	56	17	11	37
1205	415	86		✓	✓			13	7	53	17	10	42
1206	160	42	1	✓	✓			13	7	47	11	10	32
1207	207	54		✓	✓			19	7	66	12	30	46
1208	457	68	21	✓				19	13	125	20	48	68
1209	530	78	3	✓				19	13	126	22	48	64
1210	595	92		✓	✓			14	11	59	9	78	92
1211	1599	188	7	✓				19	14	114	20	140	162
1212	1210	183		✓	✓			13	13	72	20	11	43
1213	854	150	2	✓	✓			13	12	62	14	8	44
1214	1239	300	86	✓				19	17	115	25	12	74
1215	2664	260	3	✓	✓			15	15	105	21	104	118
1216	1649	242	5	✓				17	15	122	25	50	84
1217	507	72	11	✓	✓			17	15	115	17	36	68
1218	387	66	2	✓	✓			16	9	73	13	18	40
1219	679	112	3	✓	✓			17	9	80	16	30	50
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1220	221	45		✓	✓			15	7	49	9	13	35
1221	840	122	5	✓				15	13	105	20	28	78
1222	136	30		✓	✓			9	11	42	10	4	26
1223	223	62	1	✓	✓			9	9	36	10	4	20
1224	99	20		✓	✓			9	8	31	8	6	18
1225	620	166	2	✓	✓			17	8	65	16	12	44
1226				✕				17	15	144	39	33	101
1227	511	107		✓	✓			13	13	68	16	7	39
1228	2427	226	408	✓				13	17	122	36	14	66
1229	219	36	1	✓	✓			13	13	68	13	6	26
1230	132	28	1	✓	✓			9	10	39	7	18	28
1231	302	73		✓	✓			13	10	60	13	39	67
1232	355	94	1	✓	✓			13	10	60	13	44	68
1233	435	94	1	✓	✓			12	10	56	11	40	54
1234	689	214	15	✓	✓			16	11	80	13	174	206
1235	1214	450	2	✓				15	14	116	24	348	400
1236	1862	490	346	✓				17	17	162	30	304	420
1237	136	17		✓	✓			11	7	29	5	3	15
1238	252	60	1	✓	✓			17	7	47	8	6	32
1239	478	80	1	✓				17	13	86	15	18	64
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1240	433	63	1	✓	✓			14	7	46	10	37	43
1241	131	35		✓	✓			12	7	36	8	29	33
1242	440	92	3	✓				12	13	74	17	58	78
1243	205	55		✓	✓			13	10	47	3	9	55
1244	879	164	5	✓				19	17	149	16	66	110
1245	2262	450	75	✓				19	15	139	28	168	210
1246	3177	504	15	✓				19	17	179	41	212	266
1247	721	138	5	✓	✓			15	11	78	12	86	110
1248	931	170	4	✓				19	11	108	18	50	70
1249	2783	391	401	✓				22	16	183	36	153	191
1250	569	88	109	✓	✓			12	13	78	15	26	48
1251	929	114	1	✓				19	13	115	19	52	64
1252				✕			✓	19	16	176	56	238	370
1253				✕			✓	19	17	172	51	264	368
1254	1977	394	454	✓				19	14	110	20	192	224
1255	869	160	2	✓	✓			12	12	62	10	146	160
1256	737	176	3	✓	✓			12	12	66	11	134	142
1257				✕				15	15	105	28	77	105
1258	124	27		✓	✓			11	6	29	6	3	23
1259	160	35		✓	✓			13	8	35	7	3	35
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1260	216	51	1	✓	✓			11	11	45	5	41	45
1261	208	49		✓	✓			11	11	44	5	41	43
1262	408	103		✓	✓			13	11	68	14	27	65
1263	252	60	1	✓	✓			11	13	54	7	10	40
1264	412	96		✓	✓			15	17	80	11	26	58
1265	328	88	1	✓	✓			14	10	57	10	24	66
1266	386	107		✓	✓			11	10	57	15	35	45
1267	1713	147	18	✓				14	17	109	18	43	71
1268	539	168	1	✓	✓			14	11	68	14	84	130
1269	322	98	1	✓	✓			13	11	53	9	58	76
1270	205	51		✓	✓			12	9	44	8	35	49
1271	336	86	1	✓	✓			11	10	50	14	46	60
1272	1795	394	412	✓				19	15	141	37	304	308
1273	1653	582	29	✓	✓			19	13	115	19	434	446
1274	201	42	1	✓	✓			10	7	36	11	16	26
1275	416	66		✓	✓			12	9	60	16	26	46
1276	982	320	3	✓				13	15	104	32	252	266
1277	218	46		✓	✓			15	9	53	7	32	42
1278	237	61	1	✓	✓			19	11	68	12	37	61
1279	1002	148	23	✓	✓			15	13	85	14	68	90
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1280	892	174	2	✓				19	9	82	17	44	60
1281	381	109	4	✓	✓			15	9	61	10	37	63
1282	184	47	1	✓	✓			13	9	47	12	19	33
1283	956	268	49	✓				19	15	129	28	126	170
1284	883	263	1	✓				16	16	104	12	143	197
1285	603	142	1	✓	✓			13	12	65	10	52	110
1286	268	46		✓	✓			13	10	50	8	32	34
1287	1055	286	3	✓	✓			19	11	95	14	116	150
1288	1712	442	17	✓				19	17	170	39	214	312
1289	308	77		✓	✓			13	12	60	9	65	67
1290	258	71		✓	✓			17	8	47	8	27	53
1291	1467	258	266	✓				17	17	159	34	64	116
1292	431	99	11	✓	✓			14	11	63	11	17	89
1293	342	62	4	✓	✓			8	15	60	11	12	28
1294	1034	174	421	✓				15	15	122	25	28	68
1295	427	106	2	✓	✓			13	11	68	13	30	56
1296	322	87	1	✓	✓			13	11	68	11	25	61
1297				✕				15	14	105	20	192	226
1298				✕				15	14	110	21	185	237
1299	280	56	2	✓	✓			11	9	42	8	42	52
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1300	607	101		✓	✓			14	14	74	14	69	69
1301	315	57		✓	✓			10	11	47	9	35	49
1302	1151	206	28	✓				15	14	101	23	96	102
1303	389	74		✓	✓			13	13	79	19	40	52
1304	573	95	85	✓				15	13	93	22	45	65
1305	914	142	34	✓				18	14	108	24	54	60
1306	687	174	1	✓	✓			13	15	80	10	84	128
1307	2296	378	132	✓	✓			19	17	137	14	138	210
1308	567	85	1	✓	✓			9	14	58	10	41	53
1309	709	119	2	✓	✓			9	14	59	12	53	75
1310				✕				17	14	122	28	127	177
1311	523	138	39	✓	✓			15	15	101	21	48	124
1312	268	80		✓	✓			9	11	45	11	72	74
1313	257	83		✓	✓			9	11	48	14	61	69
1314	1134	266	10	✓				17	17	142	26	116	140
1315	685	176	2	✓				15	15	106	22	62	98
1316	314	76		✓	✓			13	13	66	11	22	58
1317	331	48	1	✓	✓			10	9	38	8	4	32
1318	942	148	8	✓				17	10	72	18	12	64
1319	458	60	2	✓	✓			11	11	64	15	18	32
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1320	934	142	421	✓				19	11	113	27	34	80
1321	691	210	16	✓				19	11	87	19	100	130
1322	298	42		✓	✓			11	10	49	11	6	22
1323	516	84	8	✓	✓			18	11	97	23	12	48
1324	481	120	2	✓				13	13	79	19	48	64
1325				✕			✓	16	12	129	45	155	167
1326	480	72		✓	✓			16	7	59	14	18	26
1327	671	108	39	✓				12	13	87	20	24	44
1328	1886	318	479	✓				19	13	145	34	36	92
1329				✕			✓	19	15	205	77	66	217
1330	1667	144	137	✓				15	15	126	29	48	70
1331				✕			✓	19	16	132	40	72	108
1332	1459	261	495	✓				19	16	188	60	107	181
1333	379	87		✓	✓			11	11	54	10	67	83
1334	1770	382	410	✓				17	17	159	32	122	188
1335	499	97	3	✓	✓			12	13	77	11	13	45
1336	3028	310	402	✓				13	14	111	42	60	78
1337	276	54	1	✓	✓			9	10	44	13	18	34
1338	359	68		✓	✓			9	10	41	9	36	46
1339	665	120	108	✓				15	10	79	18	72	94
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1340	403	68	54	✓	✓			11	13	75	16	12	56
1341				✕			✓	18	10	96	27	54	122
1342				✕			✓	18	17	190	61	118	210
1343	646	135	1	✓	✓			15	12	68	13	13	65
1344	2387	214	443	✓				19	15	115	22	24	66
1345	438	118	35	✓	✓			13	13	76	24	64	78
1346	196	46	1	✓	✓			11	10	37	8	12	20
1347	638	156		✓	✓			18	9	74	16	62	102
1348	1583	366	63	✓				18	13	138	34	104	188
1349	728	144	1	✓	✓			17	16	89	20	54	66
1350	944	176	9	✓				17	11	88	22	62	76
1351	176	52	1	✓	✓			10	10	46	10	18	48
1352	385	144	52	✓				10	16	80	20	36	70
1353	595	106	1	✓	✓			13	13	73	14	34	70
1354	540	104	1	✓	✓			12	9	46	7	68	74
1355	474	81	1	✓	✓			12	9	47	8	65	75
1356	273	78	1	✓	✓			11	9	44	9	72	76
1357	549	121	3	✓	✓			15	10	62	13	81	99
1358				✕				15	13	98	24	154	186
1359	369	75	1	✓	✓			19	10	82	15	7	55
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1360	393	66	2	✓	✓			13	15	58	13	26	42
1361	1242	182	67	✓				13	13	92	25	38	76
1362	1253	236	1	✓				16	14	100	14	122	210
1363	474	152	1	✓				14	17	110	16	66	134
1364	916	147	1	✓	✓			19	12	112	13	37	41
1365	399	106		✓	✓			10	12	57	12	78	102
1366				✕		✓ Festival 3.0		19	12	122	25	149	213
1367	930	251		✓				18	17	128	20	151	173
1368	1916	260	19	✓				17	16	138	31	76	94
1369	305	53	1	✓	✓			11	11	66	16	47	51
1370	1233	198	2	✓				17	9	84	23	38	44
1371	549	74		✓	✓			14	11	65	12	42	48
1372	322	93	1	✓	✓			19	6	57	12	41	55
1373	595	136	37	✓				19	11	111	20	82	98
1374	248	31	1	✓	✓			12	13	57	5	9	23
1375	451	55		✓	✓			11	13	60	6	23	33
1376	294	72	1	✓	✓			11	11	43	12	14	32
1377	587	146	1	✓	✓			14	10	60	13	88	130
1378	299	80	1	✓	✓			17	7	55	12	44	72
1379	1218	331	16	✓	✓			16	13	96	14	285	303
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1380	371	106	1	✓	✓			15	14	77	15	24	72
1381				✕			✓	19	17	164	35	96	158
1382	1277	281	93	✓				17	17	125	29	89	113
1383	1082	178	26	✓				13	16	76	19	42	92
1384	396	72	1	✓	✓			11	9	55	16	42	48
1385	575	74	1	✓				13	13	64	16	20	32
1386	115	21	1	✓	✓			11	7	31	7	9	19
1387	574	106	1	✓	✓			21	7	63	14	18	72
1388	243	42		✓	✓			19	7	58	13	16	38
1389	359	104	131	✓	✓			13	14	78	15	16	62
1390	973	146	401	✓				13	14	96	32	32	48
1391	216	26	1	✓	✓			12	12	58	9	14	22
1392	1316	150	144	✓				19	13	113	22	28	54
1393	834	143	3	✓				16	11	78	15	11	83
1394				✕			✓	17	17	150	45	12	152
1395	2099	384	101	✓				17	15	118	21	308	330
1396	454	55		✓	✓			12	8	39	6	17	43
1397	355	73	3	✓	✓			17	9	64	15	33	43
1398	1028	184	473	✓				15	17	135	30	58	98
1399	1085	290	25	✓				15	14	81	21	86	130
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1400	105	26		✓	✓			11	7	39	9	8	22
1401	573	134	1	✓	✓			17	10	72	14	12	54
1402	92	18		✓	✓			10	8	30	6	4	16
1403	990	138	4	✓	✓			15	13	83	16	18	40
1404	886	106	1	✓				15	13	85	16	18	44
1405	1952	459	12	✓				17	16	128	23	369	385
1406	323	53	1	✓	✓			11	13	68	11	17	45
1407	1349	133	25	✓				17	11	95	19	27	63
1408	1540	228	29	✓				17	17	135	24	70	88
1409	726	94	58	✓				13	14	86	18	38	60
1410	1032	130	28	✓				13	14	86	18	36	60
1411	1741	245	366	✓				14	14	110	28	59	103
1412	181	32		✓	✓			8	8	30	7	16	24
1413	228	33		✓	✓			8	9	35	8	19	31
1414	372	52	1	✓	✓			8	11	46	12	32	44
1415	924	178	3	✓				8	13	55	13	46	64
1416	1302	216	38	✓				8	15	65	16	64	86
1417	1686	222	160	✓				8	17	73	17	88	110
1418				✕			✓	18	17	154	38	362	380
1419	697	145	20	✓				18	14	113	12	67	103
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1420				✕			✓	15	15	124	31	74	106
1421	906	116	3	✓				15	17	114	16	20	64
1422	194	27		✓	✓			13	8	38	7	13	23
1423	259	70	1	✓	✓			11	8	37	8	18	50
1424				✕			✓	19	15	145	34	70	208
1425	887	179	4	✓				19	8	73	19	35	101
1426				✕			✓	19	15	149	40	64	224
1427	50	10		✓	✓			9	7	22	4	8	10
1428	530	46	1	✓	✓			14	14	74	9	24	38
1429	468	49	2	✓	✓			14	12	71	9	31	43
1430	496	114	50	✓	✓			16	13	79	11	40	88
1431	299	67		✓	✓			13	9	36	6	35	49
1432	134	42		✓	✓			12	9	32	6	22	38
1433	186	35		✓	✓			9	9	37	8	27	33
1434	1586	322	120	✓				17	14	126	28	176	214
1435	1213	237	101	✓				15	15	110	19	163	175
1436	753	174	1	✓	✓			18	8	68	11	154	170
1437	488	168	8	✓				13	11	69	14	40	88
1438	176	44	1	✓	✓			11	6	28	6	14	38
1439	166	30		✓	✓			11	6	30	6	18	26
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1440	156	35		✓	✓			11	6	31	8	19	27
1441	208	33	1	✓	✓			10	9	44	10	23	29
1442	774	126	5	✓				19	9	91	20	48	72
1443	656	128	1	✓				17	9	82	19	46	62
1444	337	69	1	✓	✓			12	10	52	11	3	31
1445	430	104		✓	✓			17	9	56	13	12	48
1446	425	86	76	✓	✓			19	9	65	14	22	70
1447	832	140	6	✓	✓			19	10	82	17	22	66
1448	208	50	1	✓	✓			9	11	47	8	16	46
1449	1491	290	7	✓				12	13	82	21	136	152
1450	173	53	1	✓	✓			13	9	47	15	21	33
1451	283	71	4	✓	✓			13	12	64	21	39	51
1452	735	111	1	✓	✓			13	10	57	8	87	105
1453	521	180	18	✓				11	13	79	17	158	174
1454	524	126	1	✓	✓			12	12	73	18	98	110
1455	309	63	1	✓	✓			9	10	41	12	13	31
1456	277	57		✓	✓			11	10	49	15	17	23
1457	1087	199	8	✓				11	15	85	29	33	65
1458	957	103	61	✓				17	11	100	18	35	79
1459	1274	196	32	✓				13	13	97	32	32	34
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1460	360	74	2	✓	✓			11	11	57	16	28	32
1461	565	108	1	✓	✓			11	11	65	20	22	36
1462				✕				17	17	167	60	60	78
1463	593	100	2	✓	✓			19	8	69	14	44	76
1464	379	102	7	✓	✓			15	8	49	11	64	94
1465	1361	257	23	✓				19	14	98	24	59	109
1466	338	86		✓	✓			14	8	52	9	66	86
1467	287	49		✓	✓			12	8	45	10	7	39
1468	1342	255	10	✓				17	11	97	22	131	153
1469	270	65	3	✓	✓			13	8	50	12	35	55
1470	770	146	174	✓				18	13	98	24	58	116
1471	289	57		✓	✓			9	13	49	10	33	43
1472	477	130	2	✓				9	16	73	16	68	88
1473	1011	157	2	✓				13	15	96	22	71	91
1474	268	66	2	✓	✓			9	14	52	9	22	58
1475	173	38		✓	✓			9	12	47	8	20	36
1476	1606	243	210	✓				15	17	119	24	131	155
1477	701	199	20	✓	✓			14	12	80	16	155	185
1478	158	38		✓	✓			13	11	59	12	12	34
1479	506	130	1	✓				15	12	74	16	72	80
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1480	497	119		✓				15	10	69	17	77	95
1481	248	34	1	✓	✓			10	12	46	8	2	24
1482	784	102	1	✓	✓			13	13	90	24	24	28
1483	802	132		✓	✓			11	11	53	12	12	14
1484	303	57	1	✓	✓			13	9	56	11	13	19
1485	337	61		✓	✓			13	9	52	11	13	19
1486	716	112	3	✓				13	13	89	24	24	26
1487	567	114	1	✓	✓			11	11	50	14	18	34
1488	950	208	2	✓				17	17	90	14	40	80
1489	1130	178	123	✓				17	17	116	13	44	60
1490	350	72	1	✓	✓			12	12	71	14	20	60
1491				✕				17	17	169	52	80	206
1492	274	72		✓	✓			13	10	56	12	28	68
1493	322	70		✓	✓			15	7	41	8	28	62
1494	313	100	1	✓	✓			15	7	42	10	26	62
1495	264	66		✓	✓			14	7	38	7	52	60
1496	183	50		✓	✓			12	7	31	5	22	50
1497	463	136	13	✓	✓			13	12	64	12	44	110
1498	208	38		✓	✓			13	7	43	9	10	30
1499	249	74		✓	✓			13	8	43	9	20	54
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1500	119	31	1	✓	✓			13	6	33	8	5	31
1501	501	102	3	✓	✓			11	13	67	15	10	50
1502	435	98	21	✓	✓			11	13	74	15	50	68
1503	497	62	1	✓	✓			11	13	66	11	16	32
1504	323	48		✓	✓			11	11	60	9	16	30
1505	289	74	1	✓	✓			11	11	60	12	16	30
1506	1011	194	153	✓				17	13	90	27	8	64
1507				✕			✓	19	17	121	37	15	93
1508	2232	240	8	✓				17	15	130	32	8	72
1509				✕				13	16	107	27	12	70
1510	612	118	11	✓				11	14	83	20	10	52
1511	694	140	3	✓	✓			11	12	62	14	8	36
1512	140	30		✓	✓			9	10	37	6	4	16
1513				✕			✓	19	17	187	54	1418	1498
1514	861	124	5	✓	✓			12	12	71	11	54	90
1515	1135	288	2	✓				17	14	111	21	268	280
1516	400	108	3	✓	✓			7	15	57	15	22	62
1517	877	127	2	✓	✓			13	13	86	21	51	59
1518	200	36	1	✓	✓			13	8	43	8	12	34
1519	391	72	10	✓	✓			18	8	62	14	24	56
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1520	572	112	2	✓	✓			16	9	56	14	22	48
1521	303	58	2	✓	✓			17	8	61	15	24	42
1522	737	136	4	✓	✓			17	8	63	16	24	48
1523	446	62	5	✓	✓			12	12	57	15	24	60
1524	72	16		✓	✓			11	7	27	6	10	16
1525	233	28	1	✓	✓			13	9	44	7	10	28
1526	160	27		✓	✓			10	9	35	7	1	23
1527	501	88	6	✓	✓			12	10	60	14	24	50
1528	359	72	1	✓	✓			15	13	77	12	20	54
1529	152	26	1	✓	✓			11	9	38	9	8	22
1530				✕		✓ Sokolution 6.01		15	15	129	40	16	76
1531	584	70	94	✓	✓			13	11	72	15	12	30
1532	450	60	1	✓	✓			11	12	53	6	28	50
1533	1588	204	321	✓				21	12	107	14	74	136
1534	486	78		✓	✓			10	12	55	13	12	60
1535	255	32		✓	✓			11	10	48	11	8	26
1536	379	81	1	✓	✓			17	8	60	14	29	47
1537	661	118		✓	✓			17	9	67	13	20	46
1538	265	53		✓	✓			11	9	40	9	11	37
1539	442	77	1	✓	✓			12	8	41	9	11	33
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1540	273	53		✓	✓			12	8	39	9	11	37
1541	380	53		✓	✓			11	10	54	9	17	41
1542	888	184	5	✓	✓			17	9	73	14	10	70
1543	219	41		✓	✓			10	8	38	6	27	39
1544	314	26	1	✓	✓			11	11	57	9	12	24
1545	170	34	1	✓	✓			11	11	56	9	12	24
1546	540	60	3	✓	✓			13	13	77	13	12	46
1547	621	69	42	✓	✓			11	11	68	17	15	57
1548	220	72	1	✓	✓			9	12	45	15	38	52
1549	157	43	1	✓	✓			9	10	34	12	21	35
1550	527	108		✓	✓			11	11	55	16	10	36
1551	936	178	5	✓	✓			12	11	74	18	14	60
1552	239	23		✓	✓			12	8	41	6	9	21
1553	281	40	1	✓	✓			13	8	54	12	6	32
1554	445	82		✓	✓			10	10	46	7	72	76
1555	549	104	13	✓	✓			9	14	64	17	6	52
1556	457	106	1	✓				17	8	62	13	68	92
1557	484	88		✓	✓			11	11	62	12	20	44
1558	313	72	1	✓	✓			11	11	46	9	36	42
1559	77	16		✓	✓			9	9	36	9	16	16
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1560	2873	240	404	✓				15	15	152	54	54	60
1561	917	217	5	✓	✓			16	10	72	8	53	173
1562	520	112		✓	✓			11	10	43	5	28	58
1563	497	79	1	✓	✓			13	10	49	8	19	75
1564	334	68	1	✓	✓			14	9	50	15	26	48
1565	464	94	1	✓	✓			13	9	51	14	8	42
1566	3502	637	161	✓				15	16	118	15	475	495
1567	481	161	1	✓	✓			13	12	77	12	85	157
1568	194	43		✓	✓			11	8	33	6	21	31
1569	261	52		✓	✓			10	9	40	11	14	32
1570	298	58	2	✓	✓			11	8	49	13	4	44
1571	108	18		✓	✓			9	8	31	6	4	18
1572	1070	196	68	✓				15	9	75	23	90	104
1573	866	172	4	✓				15	9	75	23	92	96
1574	718	271	4	✓	✓			17	11	91	20	199	219
1575	193	36	1	✓	✓			12	11	40	8	18	28
1576	102	30	1	✓	✓			11	9	35	8	12	28
1577	43	16		✓	✓			7	7	19	4	6	16
1578	241	70	1	✓	✓			9	9	35	9	30	36
1579	213	39		✓	✓			13	8	40	9	21	35
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1580	293	64	2	✓	✓			11	11	65	14	12	38
1581	291	56		✓	✓			11	9	45	9	12	24
1582	288	30		✓	✓			9	9	43	11	12	26
1583				✕				19	13	129	13	234	310
1584				✕				19	17	204	49	18	96
1585	127	33		✓	✓			10	8	31	7	3	27
1586	174	17		✓	✓			9	8	32	4	9	11
1587	704	110	2	✓	✓			15	13	93	14	18	50
1588	592	74	1	✓	✓			13	13	81	11	18	40
1589	1521	174	104	✓				13	15	108	24	68	72
1590	254	26	1	✓	✓			14	12	71	8	6	26
1591	136	24		✓	✓			10	10	38	6	8	22
1592	317	78	1	✓	✓			16	8	54	12	12	56
1593	861	268	3	✓				15	11	79	18	226	248
1594	182	38		✓	✓			12	9	38	8	8	28
1595	419	91	1	✓	✓			15	9	49	11	13	41
1596	292	54	3	✓	✓			14	12	66	11	14	34
1597	795	207	15	✓				12	11	65	18	121	167
1598	962	209	1	✓				15	13	110	30	103	121
1599	141	39		✓	✓			10	11	41	8	11	29
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1600	74	16		✓	✓			8	8	24	5	6	16
1601	68	16		✓	✓			8	10	27	4	8	14
1602	2693	622	16	✓				18	13	117	17	488	558
1603	349	64		✓	✓			11	9	35	9	40	42
1604	2116	371	7	✓				18	10	102	19	235	289
1605	2283	428	54	✓				19	11	117	26	312	370
1606	224	48	1	✓	✓			11	11	46	10	28	44
1607	2797	1144	102	✓				18	17	170	55	1050	1052
1608	1063	184	1	✓	✓			12	12	57	8	130	160
1609	811	211	1	✓	✓			17	14	95	15	145	161
1610	439	75		✓	✓			12	11	58	13	13	49
1611	625	124	1	✓	✓			10	11	49	9	106	108
1612	981	124	2	✓	✓			11	12	71	17	4	34
1613	153	36	1	✓	✓			11	11	41	8	14	32
1614	378	66		✓	✓			17	8	59	10	28	38
1615	316	51	1	✓	✓			11	11	59	12	19	29
1616	728	119	6	✓				15	15	83	20	61	79
1617	508	94	1	✓	✓			11	11	49	11	44	58
1618	143	28		✓	✓			11	9	39	7	8	26
1619	558	103		✓	✓			19	7	57	15	65	73
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1620	2556	544	52	✓				17	17	157	48	180	214
1621	1543	241	1	✓				19	11	96	13	173	203
1622	875	100	3	✓	✓			13	12	64	11	4	46
1623				✕				17	17	192	68	1	94
1624	977	168	3	✓				13	13	80	20	20	54
1625	364	80		✓	✓			10	13	54	10	44	60
1626	1286	205	1	✓				19	10	79	12	71	91
1627	442	80		✓	✓			19	8	57	9	42	60
1628	296	48	1	✓	✓			11	10	43	8	26	40
1629	797	145	1	✓	✓			14	11	62	9	79	121
1630	791	130	9	✓				13	11	75	21	22	44
1631	96	13		✓	✓			7	9	25	4	5	13
1632	54	12	1	✓	✓			7	7	19	4	2	12
1633	94	20		✓	✓			10	8	30	3	6	16
1634	207	38		✓	✓			11	11	43	5	16	18
1635	324	78	1	✓	✓			12	12	48	12	12	42
1636	75	16		✓	✓			7	11	29	6	10	16
1637	543	167		✓	✓			17	10	67	13	105	123
1638	508	146	1	✓	✓			13	9	65	19	108	128
1639	673	126	1	✓	✓			13	13	80	13	28	74
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1640	114	16		✓	✓			11	7	31	7	10	16
1641	102	16		✓	✓			9	9	31	6	2	12
1642	425	83	1	✓	✓			11	9	48	7	37	39
1643	718	108	12	✓	✓			11	12	66	9	74	76
1644	299	58		✓	✓			13	11	58	8	40	42
1645	215	36	1	✓	✓			10	10	40	6	4	32
1646	87	22		✓	✓			11	9	39	5	8	16
1647	385	54		✓	✓			10	10	47	8	22	34
1648	165	41		✓	✓			10	11	35	3	11	33
1649	169	39	1	✓	✓			11	10	38	4	11	37
1650	79	20		✓	✓			9	7	26	6	6	18
1651	63	16		✓	✓			9	8	30	5	4	16
1652	144	28		✓	✓			11	12	52	8	20	24
1653	277	58	1	✓	✓			17	9	66	13	34	44
1654	84	12	1	✓	✓			8	11	35	4	4	12
1655	415	107		✓	✓			17	9	56	12	61	79
1656	316	48	3	✓	✓			14	10	57	10	22	42
1657	102	12		✓	✓			10	10	38	6	12	12
1658	279	57		✓	✓			12	12	48	8	35	41
1659	161	21	1	✓	✓			15	8	50	9	3	19
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1660	118	18		✓	✓			13	9	45	5	8	18
1661	338	79	1	✓	✓			13	10	52	12	9	45
1662	502	81	4	✓				13	11	77	17	27	45
1663	89	22		✓	✓			11	7	28	7	10	20
1664	266	56		✓	✓			13	9	53	9	30	32
1665	154	35	1	✓	✓			13	6	37	9	15	23
1666	484	106		✓	✓			18	11	72	6	94	94
1667	260	55	1	✓	✓			12	8	42	9	37	41
1668	622	123		✓	✓			12	10	56	7	57	101
1669	949	162	3	✓	✓			15	13	79	9	102	140
1670	450	123		✓				14	10	61	20	83	97
1671	177	36		✓	✓			10	7	28	7	10	26
1672	393	52	1	✓	✓			13	7	48	10	10	18
1673	313	38		✓	✓			13	11	55	8	12	32
1674	1967	298	35	✓				15	15	98	22	132	132
1675	474	108	10	✓	✓			13	12	72	18	64	84
1676	1489	240	9	✓				18	10	78	11	210	226
1677	381	116	1	✓	✓			12	12	57	15	90	96
1678	1459	260	6	✓				13	15	94	17	138	192
1679	397	77		✓	✓			14	8	43	6	63	77
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1680	275	90		✓	✓			13	10	56	8	34	58
1681	175	30	1	✓	✓			9	11	43	10	12	24
1682	140	27		✓	✓			9	8	29	5	5	21
1683	443	74	2	✓	✓			9	11	40	8	10	60
1684	513	72	20	✓				18	10	97	25	2	42
1685	405	60	1	✓	✓			13	11	67	16	24	32
1686	238	51	2	✓	✓			10	8	39	11	17	27
1687	430	76		✓	✓			15	10	59	9	8	28
1688	350	41	1	✓	✓			10	12	52	7	3	37
1689	307	40		✓	✓			12	9	52	14	10	26
1690	1496	124	351	✓				12	13	82	25	12	56
1691	614	100	2	✓	✓			13	13	88	14	20	24
1692	401	56	1	✓	✓			11	10	50	11	32	50
1693	186	38	1	✓	✓			11	10	45	4	38	38
1694	483	75		✓	✓			13	12	60	10	61	67
1695	111	32		✓	✓			12	8	39	6	14	26
1696	521	80	1	✓	✓			10	14	66	13	44	56
1697	94	20		✓	✓			8	8	26	5	10	18
1698	372	108	1	✓	✓			10	12	50	15	86	90
1699	332	71	1	✓				9	13	64	23	53	59
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1700	554	148	1	✓	✓			11	12	54	15	74	74
1701	140	27		✓	✓			9	9	39	7	11	27
1702	367	72	3	✓	✓			11	9	47	15	36	48
1703	392	62		✓	✓			11	14	65	15	14	34
1704	238	51	1	✓	✓			13	9	49	9	25	49
1705	3201	635	10	✓	✓			16	15	115	16	535	579
1706	172	37		✓	✓			13	8	47	10	9	31
1707	337	70		✓	✓			11	9	44	9	60	62
1708	515	110	1	✓	✓			9	11	45	7	16	46
1709	261	31		✓	✓			13	9	52	8	9	29
1710	547	110	7	✓	✓			15	9	72	16	12	30
1711	1853	349	186	✓				17	17	129	32	49	73
1712	265	52		✓	✓			11	11	42	8	4	24
1713	54	17	1	✓	✓			11	8	35	8	11	17
1714	209	59		✓	✓			12	12	44	11	39	41
1715	475	122		✓	✓			11	11	55	14	34	38
1716	213	46	1	✓	✓			12	10	52	12	28	36
1717	467	93	55	✓	✓			12	12	70	24	41	45
1718	194	37		✓	✓			11	9	45	10	23	29
1719	2129	181	14	✓	✓			11	14	70	9	77	155
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1720	4495	296	41	✓	✓			16	15	102	12	106	200
1721	9018	559	70	✓				17	16	118	17	265	513
1722				✕				15	15	113	14	304	548
1723				✕				15	14	115	22	269	399
1724	93	21		✓	✓			8	8	29	6	15	17
1725	898	134	8	✓	✓			11	12	70	17	12	42
1726	574	114		✓	✓			12	9	47	8	66	70
1727	764	264	3	✓				14	10	72	18	222	238
1728	86	18		✓	✓			8	6	18	4	14	18
1729	979	256	13	✓	✓			9	15	66	15	6	56
1730	286	44		✓	✓			10	10	44	12	28	28
1731	551	115	2	✓	✓			15	11	64	9	103	111
1732	110	12		✓	✓			11	9	41	8	12	12
1733	152	30	1	✓	✓			9	9	39	10	16	28
1734	79	12		✓	✓			11	7	34	6	8	12
1735	255	54		✓	✓			7	13	49	12	20	32
1736	176	32	1	✓	✓			13	11	53	5	16	32
1737	307	80	1	✓	✓			13	9	48	9	18	58
1738	406	56		✓	✓			9	10	39	7	6	34
1739	423	139		✓	✓			12	13	56	12	103	117
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1740	1028	169		✓	✓			12	13	67	10	157	157
1741	320	86		✓	✓			12	10	42	8	56	56
1742	585	99		✓	✓			13	10	61	10	71	87
1743	658	257		✓	✓			13	13	87	14	235	249
1744	70	20	1	✓	✓			6	10	28	6	16	18
1745	149	27		✓	✓			8	10	36	9	13	23
1746	45	17		✓	✓			8	8	24	5	9	11
1747	59	17		✓	✓			8	7	23	7	13	15
1748	137	29	1	✓	✓			8	7	24	6	7	17
1749	228	52		✓	✓			11	11	47	8	38	46
1750	328	30		✓	✓			11	13	56	8	2	20
1751	428	48	1	✓	✓			9	11	48	10	14	28
1752	120	34		✓	✓			11	8	34	8	18	20
1753	74	27		✓	✓			11	7	31	7	21	27
1754	1064	118	6	✓	✓			14	13	84	13	22	46
1755	62	10		✓	✓			8	8	25	5	8	10
1756	401	80		✓	✓			14	8	48	4	80	80
1757	568	110	1	✓	✓			15	8	57	10	58	82
1758	172	40		✓	✓			7	11	35	8	16	40
1759	1146	196	6	✓	✓			15	17	132	28	72	94
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1760	416	60	26	✓	✓			11	15	77	18	20	44
1761	171	28		✓	✓			11	8	36	8	14	18
1762	175	35	1	✓	✓			9	8	34	7	27	31
1763	111	18		✓	✓			9	9	38	6	14	16
1764	209	14		✓	✓			11	9	43	7	8	14
1765	312	43		✓	✓			11	11	56	6	33	37
1766	418	116	1	✓	✓			9	12	56	16	94	98
1767	301	96		✓				9	12	55	16	76	84
1768	75	17		✓	✓			8	8	28	8	15	17
1769	77	18		✓	✓			10	7	24	4	6	18
1770	122	20	1	✓	✓			9	9	38	6	10	14
1771	94	18		✓	✓			9	7	29	6	12	12
1772	29	12		✓	✓			9	7	22	6	6	12
1773	528	72	1	✓	✓			11	12	59	10	4	32
1774	431	126		✓	✓			13	10	45	7	82	98
1775	236	47		✓	✓			14	9	42	5	1	25
1776	114	26		✓	✓			7	9	27	6	10	14
1777	578	73	17	✓	✓			15	17	115	20	15	59
1778	104	22		✓	✓			9	9	31	6	6	20
1779	167	32		✓	✓			7	10	34	8	6	20
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1780	82	20	1	✓	✓			9	9	31	7	12	18
1781	254	42		✓	✓			8	10	33	4	32	38
1782	220	33	1	✓	✓			15	14	87	14	13	25
1783	182	38		✓	✓			11	7	37	8	28	36
1784	139	26		✓	✓			9	9	37	6	12	20
1785	385	86	1	✓	✓			14	9	53	11	56	70
1786	73	23		✓	✓			9	7	27	8	19	23
1787	85	16	1	✓	✓			8	12	45	6	4	16
1788	256	41		✓	✓			10	9	45	11	19	19
1789	996	144	2	✓				13	13	105	32	44	58
1790	786	145		✓	✓			15	13	83	15	97	113
1791	375	66	1	✓	✓			17	9	57	7	22	40
1792	166	45		✓	✓			10	8	29	6	13	29
1793	494	95		✓	✓			11	10	54	7	75	93
1794	118	30		✓	✓			12	8	33	7	2	26
1795	76	23	2	✓	✓			9	8	26	7	7	23
1796	219	50	2	✓	✓			9	11	51	12	8	36
1797	233	42		✓	✓			9	9	33	8	8	28
1798	82	14		✓	✓			8	8	27	5	4	10
1799	123	17	1	✓	✓			9	9	38	6	5	15
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1800	370	69		✓	✓			11	11	51	9	3	21
1801	53	11		✓	✓			8	7	23	5	1	11
1802	106	10	1	✓	✓			9	9	28	7	10	10
1803	101	18		✓	✓			10	8	34	7	10	18
1804	129	13		✓	✓			11	10	46	6	7	11
1805	89	25		✓	✓			8	7	25	6	17	23
1806	159	43	1	✓	✓			8	10	33	7	21	35
1807	187	33		✓	✓			10	9	41	10	27	31
1808	93	20		✓	✓			7	9	26	7	16	16
1809	159	53		✓	✓			14	7	38	8	39	53
1810	125	34	1	✓	✓			8	8	26	6	12	28
1811	310	101		✓	✓			11	10	51	9	75	99
1812	69	25		✓	✓			7	11	27	7	19	23
1813	32	9		✓	✓			7	7	18	3	3	9
1814	41	14	1	✓	✓			8	8	24	4	4	14
1815	117	34		✓	✓			11	8	34	6	14	20
1816	97	22		✓	✓			9	9	38	6	6	14
1817	200	21		✓	✓			9	10	42	6	3	13
1818	449	90	1	✓	✓			11	13	70	14	26	42
1819	201	37	1	✓	✓			12	12	61	12	33	37
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1820	201	30		✓	✓			11	11	49	9	20	26
1821	271	42		✓	✓			9	9	44	10	22	22
1822	45	22	1	✓	✓			9	9	32	12	20	22
1823	242	48		✓	✓			13	8	48	10	32	38
1824	118	21	1	✓	✓			7	9	27	6	17	19
1825	367	78		✓	✓			15	8	52	13	10	40
1826	188	43	1	✓	✓			12	10	47	12	17	41
1827	429	74	2	✓	✓			14	9	54	14	12	34
1828	62	14		✓	✓			8	8	24	3	6	10
1829	145	30		✓	✓			13	7	38	6	12	28
1830	806	202	2	✓				16	11	104	25	110	110
1831	331	111		✓	✓			14	8	50	11	103	103
1832	230	56	1	✓	✓			14	9	52	10	24	50
1833	198	37		✓	✓			12	7	37	10	13	23
1834	429	94	1	✓	✓			12	7	34	7	48	56
1835	500	124	1	✓	✓			11	12	66	15	44	82
1836	369	132		✓	✓			14	10	56	12	74	94
1837	66	18		✓	✓			8	7	22	5	4	16
1838	265	40	1	✓	✓			13	7	43	11	8	30
1839	180	42		✓	✓			10	9	41	11	12	24
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1840	254	40		✓	✓			11	8	43	8	12	22
1841	334	90	2	✓	✓			9	9	43	13	10	38
1842	431	49		✓	✓			9	9	43	12	13	39
1843	598	130	21	✓				12	10	54	16	16	48
1844	180	44	1	✓	✓			9	8	32	8	10	26
1845	624	104		✓	✓			13	9	58	16	22	54
1846				✕				17	17	132	40	40	120
1847	791	108	2	✓	✓			13	13	60	12	24	36
1848	443	79		✓	✓			11	9	53	14	53	63
1849	273	59		✓	✓			15	10	56	12	23	41
1850	294	69	1	✓	✓			11	10	48	13	23	49
1851	317	78		✓	✓			13	8	48	8	74	74
1852	505	138	1	✓	✓			16	9	63	15	44	68
1853	431	102	1	✓	✓			13	9	54	12	26	38
1854	68	14		✓	✓			11	8	33	5	2	14
1855	307	62		✓	✓			11	11	59	11	4	34
1856	198	60		✓	✓			12	8	36	9	26	44
1857	941	167	29	✓				13	15	90	17	15	29
1858	434	52	3	✓	✓			11	11	63	12	8	24
1859	320	58		✓	✓			10	10	50	12	8	44
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1860	252	54	1	✓	✓			15	7	44	8	22	40
1861	193	54		✓	✓			13	7	44	6	10	38
1862	190	40		✓	✓			13	7	44	6	10	32
1863	161	24	1	✓	✓			8	9	31	7	6	14
1864	210	52		✓	✓			15	9	55	14	14	48
1865	328	57	1	✓	✓			10	9	36	7	5	39
1866	853	166	1	✓	✓			16	9	64	14	12	52
1867	110	24	1	✓	✓			9	7	33	10	10	18
1868	854	101	401	✓				19	10	98	24	9	63
1869	312	28	1	✓	✓			15	10	67	8	10	24
1870	134	20		✓	✓			11	7	35	6	8	14
1871	59	11		✓	✓			8	9	29	5	5	9
1872	537	58	3	✓	✓			12	12	66	14	8	20
1873	453	56	2	✓	✓			13	13	70	13	18	44
1874	344	43		✓	✓			11	10	52	11	15	21
1875	225	64		✓	✓			14	9	44	10	20	40
1876	284	48	1	✓	✓			13	9	57	14	4	30
1877	193	53	1	✓	✓			10	8	37	9	41	53
1878	197	41		✓	✓			10	10	44	10	33	39
1879	291	54	12	✓	✓			15	9	67	13	10	38
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1880	791	150	5	✓				13	10	72	20	20	46
1881	573	103		✓	✓			11	10	54	12	63	79
1882	271	64	1	✓	✓			10	11	52	11	16	34
1883	925	204		✓	✓			16	12	83	9	182	192
1884	688	146	1	✓	✓			13	11	66	14	12	48
1885	538	48	1	✓	✓			13	11	67	10	4	26
1886	518	116	1	✓	✓			11	15	68	12	2	38
1887	536	84	1	✓	✓			11	15	68	12	2	34
1888	237	42	2	✓	✓			9	11	50	12	16	34
1889	103	20		✓	✓			10	8	33	6	4	16
1890	612	185	1	✓	✓			13	13	81	27	69	87
1891	388	189		✓	✓			18	7	64	13	163	185
1892	1075	201	1	✓	✓			15	12	81	13	127	185
1893	55	19		✓	✓			9	10	32	6	9	15
1894	64	14	1	✓	✓			8	10	28	5	10	14
1895	57	16		✓	✓			8	10	29	6	10	16
1896	49	15		✓	✓			8	10	29	6	9	13
1897	36	12		✓	✓			8	9	25	4	10	12
1898	70	19		✓	✓			9	9	28	5	9	17
1899				✕				17	17	152	35	2	104
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1900	372	50	1	✓	✓			17	11	73	16	12	32
1901	555	98	1	✓	✓			13	12	60	11	48	70
1902	231	53		✓	✓			10	7	33	9	19	29
1903	474	62	3	✓	✓			17	11	76	18	12	40
1904	354	104	1	✓	✓			15	9	58	13	84	104
1905	677	112	1	✓	✓			13	13	72	17	44	46
1906	655	120	32	✓				15	15	111	23	20	44
1907				✕				10	15	72	18	153	275
1908	147	33		✓	✓			10	9	36	8	9	31
1909	261	49	1	✓	✓			13	10	50	8	19	35
1910	333	66		✓	✓			7	11	39	11	10	32
1911	318	52	5	✓	✓			11	7	39	12	18	40
Solved levels	937568	183001	43778	1825 of 1911	1474	9	22		Total	130409	30735	94054	138064
Solved levels, grand total	937568	183001	43778	1825 of 1911	1474	9	22		Grand total	130409	30735	94054	138064


Solver	Festival
Version	2.4
Author	Yaron Shoham
Time limit	10 minutes
Solver settings	Default settings
Computer processor (CPU)	Intel(R) Core(TM) i7-10700F

Sokoban Solver Statistics Contact Sokoban Wiki LogoProgramming and Design: Brian Damgaard, Denmark

Large Test Suite Open Test Suite XSokoban Test Suite

Sokoban Solver Statistics - Festival 2.4 - Sven Egevad